diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-29 12:55:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-29 12:55:09 +0000 |
| commit | 2e0b012acb9cb1324d941a37b56a1fc2ae3400ed (patch) | |
| tree | bf43fdba40fbd56905eb8205576a482c3b991888 | |
| parent | 01d6dcc8f1e6ea6f9eae8758c5e86b66c49a7f35 (diff) | |
Updated
| -rw-r--r-- | etc/announce | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/etc/announce b/etc/announce index 88368ca8..2febf6f9 100644 --- a/etc/announce +++ b/etc/announce @@ -28,11 +28,11 @@ To: coq-club@pauillac.inria.fr, Subject: Proof General --- Version 3.0 release - Announcing Proof General Version 3.0 + Announcing Proof General Version 3.0 A Generic Emacs interface for Interactive Proof Assistants - http://zermelo.dcs.ed.ac.uk/home/proofgen + http://zermelo.dcs.ed.ac.uk/~proofgen contact: David Aspinall <da@dcs.ed.ac.uk> @@ -54,10 +54,11 @@ Proof General includes these features, amongst others: Summary of changes since 2.1: -. Six new toolbar buttons, enabled depending on context -. Improved and reorganized menus and keybindings, options settings +. Eight new toolbar buttons, now enabled depending on context +. Improved and reorganized menus and key-bindings, options settings . Easier to adapt to new systems, comes with example (30 setqs) . New function to search for theorems +. X-Symbol support for Coq, LEGO, and Isabelle . Lots more fine-grained improvements, for full details http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/CHANGES |