diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-10 12:19:53 -0500 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-10 12:19:53 -0500 |
commit | 3f6da90764730d52ba7acdc120a265dd4217bc5e (patch) | |
tree | b5431b90b290b01bf26c1b970579784de95b5cc3 /README.md | |
parent | c2fbd46549c386d29f5cadd5094ee2f6601e27b8 (diff) |
More README updates
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 9 |
1 files changed, 0 insertions, 9 deletions
@@ -48,12 +48,3 @@ proofs written for Freek Wiedijk's challenge in his comparison of different theorem provers, see http://www.cs.kun.nl/~freek/comparison/. Those proof scripts are copyright by their named authors. (NB: most of these have rusted) - -Check BUGS files for some static problems and issues. Please report -new bugs on the Trac site at http://proofgeneral.inf.ed.ac.uk/trac. - -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> -October 2011. |