From a704f1faaf6aa7922a6887d33547d74397add0b8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 1 Aug 2001 19:38:04 +0000 Subject: Update for 3.3 --- README | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README b/README index ff210cd9..3fc77d5d 100644 --- a/README +++ b/README @@ -3,7 +3,7 @@ Proof General --- Organize your proofs! Proof General is a generic Emacs interface for proof assistants. -This is version 3.2 of Proof General. +This is version 3.3 of Proof General. (Check the About screen for precise version number). The aim of the Proof General project is to provide a powerful and @@ -26,7 +26,7 @@ For notes on the supported assistants, see the README files in the subdirectories: acl2/ ACL2 - phox/ PhoX + phox/ PhoX coq/ Coq demoisa/ Demonstration instance for Isabelle isa/ Isabelle @@ -50,7 +50,7 @@ mailing list for Proof General, visit Proof General on the web at: http://www.proofgeneral.org David Aspinall -October 2000. +August 2001. ----- -- cgit v1.2.3