From 65b94f12c8b98b73a057da7196a5dd8afb0a2286 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 28 Sep 2000 09:26:33 +0000 Subject: Fix date --- README | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) (limited to 'README') diff --git a/README b/README index 6d37f3db..bb381ac0 100644 --- a/README +++ b/README @@ -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 -November 2000. +October 2000. ----- -- cgit v1.2.3