diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-05-05 17:44:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-05-05 17:44:04 +0000 |
| commit | e59dd9b444501a3881b3e09917754e6e9b51b58d (patch) | |
| tree | d99ac8cd37e270122f82fc6201a5c8be00da4b04 /doc | |
| parent | 0247d92eb0b1c3749d3fb9c04297addde0c6eced (diff) | |
Update dates.
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 3fe9041d..1ff6d542 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -64,7 +64,7 @@ @set version 4.1 @set emacsversion 23.2 -@set last-update January 2011 +@set last-update May 2011 @set rcsid $Id$ @dircategory Theorem proving |