From 3f6da90764730d52ba7acdc120a265dd4217bc5e Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Wed, 10 Feb 2016 12:19:53 -0500 Subject: More README updates --- README.md | 9 --------- 1 file changed, 9 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index c508bcf1..ca94b511 100644 --- a/README.md +++ b/README.md @@ -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 -October 2011. -- cgit v1.2.3