diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-08-19 14:30:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-08-19 14:30:13 +0000 |
| commit | 1eb511ae5722add19f172d3b01b1e269a74b1787 (patch) | |
| tree | c032ae68a452d68d5446a79c3d2377cf65710d9d /README | |
| parent | 63d0c2ee1db8b70e7fd4d1f3052d4a95dce0a0ec (diff) | |
Date change
Diffstat (limited to 'README')
| -rw-r--r-- | README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,6 +21,6 @@ at: http://www.dcs.ed.ac.uk/home/proofgen David Aspinall. -July 1999. +August 1999. |