diff options
| author | David Aspinall | 1999-07-02 11:42:50 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-02 11:42:50 +0000 |
| commit | 1a7dbdd55987e2c0385c98aefcec2917ffa89d41 (patch) | |
| tree | e02b4eea2438c75492964b3eb2b05989c5cdcf6a | |
| parent | 451ad28e4d5f3e9580418e7a405765e3ac7fe1a4 (diff) | |
Date change.
| -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 527ab6d9..a442fc77 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -46,7 +46,7 @@ @set version 2.1 @set xemacsversion 20.4 @set fsfversion 20.2 -@set last-update June 1999 +@set last-update July 1999 @set rcsid $Id$ @ifinfo |