diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 16:57:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 16:57:05 +0000 |
commit | b897b3d16393819ccd34e64fa536e66b92cc949d (patch) | |
tree | fc51c8ab10aa47afe7f9721bfd94f3c7b0b751ad /doc | |
parent | 68fbdf6a31ab62c5920db0cf96c0d9be102d47fa (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 afd1aa62..888ab292 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -254,7 +254,7 @@ Proof General now tries to do the right thing if you're deviant enough to try them out! The work on this release was undertaken by David Aspinall between -May-August 2000, and also includes contributions from Markus Wenzel and +May-September 2000, and includes contributions from Markus Wenzel and Pierre Courtieu. @node News for 3.1 |