diff options
| author | David Aspinall | 2000-09-28 17:57:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 17:57:45 +0000 |
| commit | ef4c4bdd09a577e40f3e5e31cb78349e60ce48f1 (patch) | |
| tree | e02586ff17baef86d0d59667f15e5475e7403d49 /doc/ProofGeneral.texi | |
| parent | 64eede38044cca15f75a04bb3d3a9b6957fd1094 (diff) | |
Date becomes Oct
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 9956703e..63044be9 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -67,7 +67,7 @@ @set version 3.2 @set xemacsversion 21.1 @set fsfversion 20.7 -@set last-update September 2000 +@set last-update October 2000 @set rcsid $Id$ @ifinfo |