aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-05-06 17:54:59 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-05-06 17:54:59 +0000
commit9203131ba3484e4c81215d8aa537ea044ae8ceb3 (patch)
tree8822881ef3a53fe596f97732d31e6d3cf54face4 /doc
parent3af5698cf0991fe4738d62ac8378ade0cf3ec051 (diff)
Whitespace.
Diffstat (limited to 'doc')
-rw-r--r--doc/PG-adapting.texi2
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