aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
Diffstat (limited to 'README')
-rw-r--r--README2
1 files changed, 1 insertions, 1 deletions
diff --git a/README b/README
index b7c2f9cd..9c528edc 100644
--- a/README
+++ b/README
@@ -19,6 +19,6 @@ See doc/ for documentation of Proof General.
David Aspinall & Thomas Kleymann
-October 1998.
+November 1998.