From 2e0b012acb9cb1324d941a37b56a1fc2ae3400ed Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 29 Nov 1999 12:55:09 +0000 Subject: Updated --- etc/announce | 9 +++++---- 1 file 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 @@ -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 -- cgit v1.2.3