diff options
| author | David Aspinall | 1999-10-06 11:49:36 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 11:49:36 +0000 |
| commit | ca9b0ce54d1b78571c3e5782ba9f85790f8a9508 (patch) | |
| tree | 6335363bb7b5e43e8314404f633cc8d1786bef1a /etc | |
| parent | 959367053d3bb6398019099a9ddae0a048cd3895 (diff) | |
Next version will be 3.0 cvs update
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 6 |
1 files changed, 3 insertions, 3 deletions
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. |