From ca9b0ce54d1b78571c3e5782ba9f85790f8a9508 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 6 Oct 1999 11:49:36 +0000 Subject: Next version will be 3.0 cvs update --- etc/announce | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'etc') diff --git a/etc/announce b/etc/announce index 01672d3f..382aca11 100644 --- a/etc/announce +++ b/etc/announce @@ -27,9 +27,9 @@ To: coq-club@pauillac.inria.fr, -Subject: Proof General --- Version 2.2 release +Subject: Proof General --- Version 3.0 release - Announcing Proof General Version 2.2 + Announcing Proof General Version 3.0 A Generic Emacs interface for Interactive Proof Assistants @@ -81,7 +81,7 @@ Emacs gurus. To users of LEGO, Coq, and Isabelle: ------------------------------------ -Proof General 2.2 has several new features as well as bug fixes and +Proof General 3.0 has several new features as well as bug fixes and improvements over versions 2.1 and 2.0. It supports the latest theorem prover versions: LEGO 1.3.1, Coq 6.3 and Isabelle 99. -- cgit v1.2.3