diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-04-12 09:42:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-04-12 09:42:13 +0000 |
| commit | cfdca88d6bfa41d0d51320f2d8de6e6483c3feb8 (patch) | |
| tree | 954f2edb508e31b971e35346c2005779e8e109d0 /README | |
| parent | 372d9475a2040f0c7c0c93a4425c2180b52d1757 (diff) | |
Test update
Diffstat (limited to 'README')
| -rw-r--r-- | README | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -43,3 +43,5 @@ at: http://proofgeneral.inf.ed.ac.uk David Aspinall <da+pg-feedback@inf.ed.ac.uk> April 2010. + + |