diff options
| author | David Aspinall | 2000-03-19 07:03:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-19 07:03:27 +0000 |
| commit | 8191e5d345de522ebc1303dff06f0a3db121819d (patch) | |
| tree | 450793cb9bb2d164fd9920b279b964d7edd8a4d5 | |
| parent | ff5092c08eb04a05ba2f1694d9430c779bd2baa8 (diff) | |
Remove comma from section heading, bad for info.
| -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. |