diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 13:10:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 13:10:38 +0000 |
| commit | 75659a74796e4915c7d0e84df95ef43fb57fb991 (patch) | |
| tree | 07d894094bda5e995078523bd4efa1eaf182648e /README | |
| parent | 8bafccbd8731d6c2858f8aa2d9b0658f7c921c53 (diff) | |
Bump date (again)
Diffstat (limited to 'README')
| -rw-r--r-- | README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -42,4 +42,4 @@ For the latest news and downloads, visit Proof General on the web at: http://proofgeneral.inf.ed.ac.uk David Aspinall <da+pg-feedback@inf.ed.ac.uk> -July 2010. +August 2010. |