diff options
| author | David Aspinall | 2002-06-19 00:23:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-19 00:23:01 +0000 |
| commit | 2a217ab5d65ec07598832c0bb04e98ea6c9be886 (patch) | |
| tree | 9b4be584d204dd1c4cf7c82fded51a50d9ebb32c | |
| parent | 42b74c4296e2c19436451a4e39b3d464c8fd623f (diff) | |
Fix info
| -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 |