diff options
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. |