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 | |
parent | 372d9475a2040f0c7c0c93a4425c2180b52d1757 (diff) |
Test update
-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. + + |