diff options
| author | David Aspinall | 2004-03-23 13:23:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-23 13:23:18 +0000 |
| commit | 4219143bb90b52f8022eab78d4ebe0765d5ba781 (patch) | |
| tree | ce5fd3bce5f26df41c0ce6e548dd92aa205ac352 /doc/ProofGeneral.texi | |
| parent | 06a9884d3f4f7b1d4ab78b432c54fc6ec2b8e63b (diff) | |
Update last updated stamp
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 1e072331..703f39af 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -66,7 +66,7 @@ @set version 3.5pre @set xemacsversion 21.4 @set fsfversion 21.2 -@set last-update September 2002 +@set last-update March 2004 @set rcsid $Id$ @ifinfo |