diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-10 12:18:13 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-10 12:18:13 -0500 |
| commit | c2fbd46549c386d29f5cadd5094ee2f6601e27b8 (patch) | |
| tree | 6d792cad509fc6421979fa16c373590d73cf98c0 /README | |
| parent | 56d6eaf3f75b843f054eadf6a83de41230f1607c (diff) | |
Update README
Diffstat (limited to 'README')
| -rw-r--r-- | README | 48 |
1 files changed, 0 insertions, 48 deletions
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. - - <prover>/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 <da+pg-feedback@inf.ed.ac.uk> -October 2011. |