diff options
Diffstat (limited to 'README')
| -rw-r--r-- | README | 56 |
1 files changed, 56 insertions, 0 deletions
@@ -0,0 +1,56 @@ +Proof General --- Organize your proofs! +======================================= + +Proof General is a generic Emacs interface for proof assistants. + +This is version 3.5pre of Proof General. +(Check About screen for a precise version number; also see CHANGES). + +The aim of the Proof General project is to provide a powerful and +configurable interfaces which help user-interaction with interactive +proof assistants. Proof General targets power users rather than +novices, but we include general user interface niceties, such as +toolbar and menus, which make use easier for all. + +Please help us with this aim! Configure Proof General for your proof +assistant, by adding features at the generic level wherever possible. +Send ideas, comments, patches, code to feedback@proofgeneral.org + +See INSTALL for installation details. + COPYING for license details. + REGISTER for registration information (please register). + FAQ, doc/ for documentation of Proof General. + +See http://www.proofgeneral.org/mailinglist for the Proof General +mailing lists. If you have problems, please contact +support@proofgeneral.org in the first instance. + +For notes on the supported assistants, see the README files +in the subdirectories: + + acl2/ ACL2 + phox/ PhoX + coq/ Coq + demoisa/ Demonstration instance for Isabelle + hol98/ HOL 98 + isa/ Isabelle + isar/ Isabelle/Isar + lego/ LEGO + plastic/ Plastic + twelf/ Twelf + pgkit/ PG Kit [ in development release only ] + + generic/ Generic basis for Proof General + +Check BUGS files for problems and issues, in this directory, and for +specific issues, in each prover subdirectory. Please report bugs +not mentioned in any of these files to bugs@proofgeneral.org + +For the latest news and downloads, visit Proof General on the web +at: http://www.proofgeneral.org + +David Aspinall <da@proofgeneral.org> +August 2002. + +----- + |