diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-28 09:26:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-28 09:26:33 +0000 |
| commit | 65b94f12c8b98b73a057da7196a5dd8afb0a2286 (patch) | |
| tree | 1bc39f7c529dd8fb02fe91ce2dee34a3dc3f82dd /README | |
| parent | c89323ce90b75749e604da0faaf32e8d3a20a802 (diff) | |
Fix date
Diffstat (limited to 'README')
| -rw-r--r-- | README | 14 |
1 files changed, 12 insertions, 2 deletions
@@ -3,6 +3,9 @@ Proof General --- Organize your proofs! Proof General is a generic Emacs interface for proof assistants. +This is version 3.2 of Proof General. +(Check the About screen for precise version number). + 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 @@ -20,16 +23,23 @@ See COPYING for license details. See doc/ for documentation of Proof General. For notes on the supported assistants, see the README files -in subdirectories: +in the subdirectories: + acl2/ ACL2 af2/ AF2 coq/ Coq + demoisa/ Demonstration instance for Isabelle isa/ Isabelle isar/ Isabelle/Isar lego/ LEGO hol98/ HOL 98 + + generic/ Generic basis for Proof General + plastic/ Plastic [ in development release only ] twelf/ Twelf [ in development release only ] + pgkit/ PG Kit [ in development release only ] + Check BUGS files for problems and issues, in this directory, and for specific issues, in each prover subdirectory. Please report bugs @@ -40,7 +50,7 @@ mailing list for Proof General, visit Proof General on the web at: http://www.proofgeneral.org David Aspinall <da@proofgeneral.org> -November 2000. +October 2000. ----- |