2012-07-06 Richard Stallman <rms@gnu.org>
* intro.texi (Evaluation Notation, A Sample Function Description):
- Improve/undo previous changes.
+ (A Sample Variable Description): Improve/undo previous changes.
2012-07-05 Glenn Morris <rgm@gnu.org>
@cindex option descriptions
A @dfn{variable} is a name that can be bound to an object; binding
-is frequently referred to as `setting', and the object to which
-a variable is `set' is often called a `value' that the variable
-`holds'. Although nearly all variables can be set by the user,
+is frequently referred to as @dfn{setting}, and the object to which
+a variable is set is often called a @dfn{value} that the variable
+@dfn{holds}. Although nearly all variables can be set by the user,
certain variables exist specifically so that users can change them;
these are called @dfn{user options}. Ordinary variables and user
options are described using a format like that for functions, except