diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 23:16:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 23:16:26 +0000 |
| commit | 71982ce3a125dcb200e39d3975084aff77fb6ec6 (patch) | |
| tree | 0e598f1e959031e81b415e39ba6fa6935ad97b2c /README | |
| parent | 96256758d268277b2501fa3ad7258e87708977da (diff) | |
Updated.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -1,12 +1,13 @@ Proof General --- Organize your proofs! Proof General is a generic Emacs interface for proof assistants. - -This is version 3.7 of Proof General (see about screen for exact version). - The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants. +This is version 3.7 of Proof General. +(see About screen for exact version). + + See INSTALL for installation details. COPYING for license details. @@ -38,12 +39,14 @@ in the subdirectories: generic/ Generic basis for Proof General + A small number of example proofs are included in each prover subdirectory. The "root2" example proofs of the irrationality of the square root of 2 were proofs written as a response to a challenge of Freek Wiedijk 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: some of these may have rusted) Check BUGS files for problems and issues. Please report new bugs on the Trac site at http://proofgeneral.inf.ed.ac.uk/trac. |