diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 9a4bd36c..771f515e 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -195,15 +195,15 @@ other documentation, system downloads, etc. @menu -* Latest news, for 3.1:: +* Latest news for 3.1:: * News for 3.0:: * History:: * Credits:: @end menu -@node Latest news, for 3.1 -@unnumberedsec Latest news, for 3.1 +@node Latest news for 3.1 +@unnumberedsec Latest news for 3.1 @cindex news Proof General 3.1 is released as a bug-fix improvement over version 3.0. |