(File Local Variables): Document

safe-local-eval-forms and safe-local-eval-function.

diff --git a/lispref/ChangeLog b/lispref/ChangeLog
index a3303d4..f4bdfc8 100644 (file)
--- a/lispref/ChangeLog
+++ b/lispref/ChangeLog
@@ -1,3 +1,8 @@
+2006-05-09  Richard Stallman  <rms@gnu.org>
+
+       * variables.texi (File Local Variables): Document
+       safe-local-eval-forms and safe-local-eval-function.
+
 2006-05-07  Kim F. Storm  <storm@cua.dk>
 
        * minibuf.texi (Minibuffer History): Remove keep-dups arg

diff --git a/lispref/variables.texi b/lispref/variables.texi
index 5b4b779..87008d6 100644 (file)
--- a/lispref/variables.texi
+++ b/lispref/variables.texi
@@ -1844,6 +1844,19 @@ unconditionally; @code{nil} means ignore them; anything else means ask
 the user what to do for each file.  The default value is @code{maybe}.
 @end defopt
 
+@defopt safe-local-eval-forms
+This variable holds a list of expressions that are safe to
+evaluate when found in the @samp{Eval:} ``variable'' in a file
+local variables list.
+@end defopt
+
+  If the expression is a function call and the function has a
+@code{safe-local-eval-function} property, the property value
+determines whether the expression is safe to evaluate.  The property
+value can be a predicate to call to test the expression, a list of
+such predicates (it's safe if any predicate succeeds), or @code{t}
+(always safe provided the arguments are constant).
+
   Text properties are also potential loopholes, since their values
 could include functions to call.  So Emacs discards all text
 properties from string values specified for file local variables.