aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2001-09-05 13:47:30 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2001-09-05 13:47:30 +0000
commit5ff73f0662d60bf5c788f87d736443a076f8b26a (patch)
treefbe823164bdb39f1db350abbfb5d87dd08c929c9 /doc
parent9f1c3f25d60784e57ca822a03421920b376d5850 (diff)
Todo
Diffstat (limited to 'doc')
-rw-r--r--doc/ProofGeneral.texi3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 1c8923f8..14210cc8 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1,4 +1,5 @@
@c TODO: check new doc for hiding; add doc for dependencies, tracing.
+@c Stuff for moving spans, navigating through locked region.
\def\fontdefs{\psfamily{bsf}{r}{c}{b}{b}{ri}{ri}{ro}{bo}\def\mainmagstep{1200}}
\input texinfo
@@ -65,7 +66,7 @@
@c @ref{node} without "see". Careful for info.
@c
-@set version 3.3pre
+@set version 3.3
@set xemacsversion 21.4
@set fsfversion 20.7
@set last-update September 2001