diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-12 17:00:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-12 17:00:17 +0000 |
| commit | c6e7fecf796538c84415841f76e4af86603a6bdb (patch) | |
| tree | 3b608a18ebd72f8e85b3e855a356d384913b878f /doc | |
| parent | cfab9406e175a4d22c9441d1d7ba757cfd754887 (diff) | |
Update date.
Diffstat (limited to 'doc')
| -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 01574dec..5a850ded 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -67,7 +67,7 @@ @set version 3.2prerelease @set xemacsversion 21.1 @set fsfversion 20.5 -@set last-update August 2000 +@set last-update September 2000 @set rcsid $Id$ @ifinfo |