diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:57:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 12:57:48 +0000 |
commit | 89dcd395161b6126634b68765a7839a4b1fde81e (patch) | |
tree | d9252ba8cf364a453dad54f980382adda4b9dc42 /README | |
parent | 552be7e75e1933fd0535c983baca3aba270d0212 (diff) |
Updated
Diffstat (limited to 'README')
-rw-r--r-- | README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -19,6 +19,6 @@ See doc/ for documentation of Proof General. David Aspinall & Thomas Kleymann -October 1998. +November 1998. |