diff options
author | 2004-03-23 13:23:18 +0000 | |
---|---|---|
committer | 2004-03-23 13:23:18 +0000 | |
commit | 4219143bb90b52f8022eab78d4ebe0765d5ba781 (patch) | |
tree | ce5fd3bce5f26df41c0ce6e548dd92aa205ac352 /doc | |
parent | 06a9884d3f4f7b1d4ab78b432c54fc6ec2b8e63b (diff) |
Update last updated stamp
Diffstat (limited to 'doc')
-rw-r--r-- | doc/PG-adapting.texi | 2 | ||||
-rw-r--r-- | doc/ProofGeneral.texi | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 3de4d261..407e9129 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -64,7 +64,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 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 |