aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-23 16:57:05 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-23 16:57:05 +0000
commitb897b3d16393819ccd34e64fa536e66b92cc949d (patch)
treefc51c8ab10aa47afe7f9721bfd94f3c7b0b751ad /doc
parent68fbdf6a31ab62c5920db0cf96c0d9be102d47fa (diff)
Update date.
Diffstat (limited to 'doc')
-rw-r--r--doc/ProofGeneral.texi2
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