From c2fbd46549c386d29f5cadd5094ee2f6601e27b8 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Wed, 10 Feb 2016 12:18:13 -0500 Subject: Update README --- README | 48 ------------------------------------------------ 1 file changed, 48 deletions(-) delete mode 100644 README (limited to 'README') diff --git a/README b/README deleted file mode 100644 index d60f4d78..00000000 --- a/README +++ /dev/null @@ -1,48 +0,0 @@ - Proof General --- Organize your proofs! - -Proof General is a generic Emacs interface for proof assistants. -The aim of the Proof General project is to provide a powerful, generic -environment for using interactive proof assistants. - -This is version 4.2 (prerelease) of Proof General. See About for exact version. -It is built for Emacs 23.3. - -The code *may* also work with previous emacs versions, back as far as -Emacs 22.3. But you will need to regenerated the byte-compiled files -with "make clean; make compile". Backward compatibility cannot be -guaranteed. - -See - INSTALL for installation details. - COPYING for license details. - COMPATIBILITY for version compatibility information. - REGISTER for registration information (please register). - FAQ, doc/ for documentation of Proof General. - - /README for additional prover-specific notes - -Links: - - Bug/feature reports: http://proofgeneral.inf.ed.ac.uk/trac - Wiki: http://proofgeneral.inf.ed.ac.uk/wiki - Lists: http://proofgeneral.inf.ed.ac.uk/mailinglist - -Supported proof assistants: Coq, Isabelle, LEGO, PhoX -Experimental (less useful): CCC,ACL2,HOL98,Hol-Light,Lambda-Clam,Shell,Twelf - Obsolete instances: Demoisa,Lambda-Clam,Plastic - -A few example proofs are included in each prover subdirectory. The -"root2" proofs of the irrationality of the square root of 2 were -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