diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-24 19:06:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-24 19:06:43 +0000 |
| commit | 582a46965f00ed0777c0a8d30c47cdca92fdddf8 (patch) | |
| tree | c2d437a0912eb8dd6344d14251c1e9ca25f39034 /README | |
| parent | 0b6afb7ffdd29a61e5be56bd53fa6b9b361e472a (diff) | |
Updated
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> -August 2010. +September 2010. |