diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/PG-adapting.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index b20f12e4..5d880a95 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -2528,7 +2528,7 @@ dependent code in one place). @c TEXI DOCSTRING MAGIC: proof-running-on-Emacs21 -@defvar proof-running-on-Emacs21 +@defvar proof-running-on-Emacs21 Non-nil if Proof General is running on GNU Emacs 21 or later. @end defvar |