diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-06-19 00:23:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-19 00:23:01 +0000 |
commit | 2a217ab5d65ec07598832c0bb04e98ea6c9be886 (patch) | |
tree | 9b4be584d204dd1c4cf7c82fded51a50d9ebb32c /doc | |
parent | 42b74c4296e2c19436451a4e39b3d464c8fd623f (diff) |
Fix info
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 9deddd96..65c3979f 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -228,8 +228,8 @@ See the @file{CHANGES} file in the distribution for more complete details of changes since 3.3. -@node Old news for 3.3 -@unnumberedsec Old news for 3.3 +@node Old News for 3.3 +@unnumberedsec Old News for 3.3 Proof General 3.3 includes a few feature additions, but mainly the focus has been on compatibility improvements for new versions of provers (in |