diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-03-10 22:14:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-03-10 22:14:16 +0000 |
| commit | 729ff51867c574f0a1464f6b9cde2bcf7165d592 (patch) | |
| tree | a614b611097abd4ba267d3bd9035379d5987f00a /README | |
| parent | 5a7f4171a2ef2b1c043d41b75f620750a59f6012 (diff) | |
Update date
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> -September 2009. +April 2010. |