diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-05-06 17:54:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-06 17:54:59 +0000 |
commit | 9203131ba3484e4c81215d8aa537ea044ae8ceb3 (patch) | |
tree | 8822881ef3a53fe596f97732d31e6d3cf54face4 /doc | |
parent | 3af5698cf0991fe4738d62ac8378ade0cf3ec051 (diff) |
Whitespace.
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 |