/usr/share/doc/proofgeneral/README is in proofgeneral 4.3~pre131011-0.2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 | 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.
|