diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-27 17:55:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-27 17:55:37 +0000 |
| commit | 566d32e82470cdcbb7fef2d88d10d1f08f91c928 (patch) | |
| tree | 87feb5d35a69d6411343e8f888c8d5f28979841e /etc | |
| parent | 78bf88aaead50893c6473319f929df64b45a64fe (diff) | |
Updated
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 21 |
1 files changed, 7 insertions, 14 deletions
diff --git a/etc/announce b/etc/announce index ca5726fb..58276c65 100644 --- a/etc/announce +++ b/etc/announce @@ -32,22 +32,15 @@ tag for comp.lang.ml, comp.lang.functional: Subject: Proof General --- Version 3.2 release -[Apologies for multiple copies] - - Announcing Proof General Version 3.2 - - A Generic Emacs interface for Interactive Proof Assistants - + A Generic Emacs interface for Interactive Proof Assistants http://www.proofgeneral.org - contact: David Aspinall <da@dcs.ed.ac.uk> - - ========================= + contact: David Aspinall <da@proofgeneral.org> -Proof General is an (X)Emacs interface for developing proof scripts. +Proof General is a generic (X)Emacs interface for proof assistants. It can be instantiated for the proof assistant of your choice, and is -supplied ready-customised for Isabelle, Coq, LEGO, and HOL. +supplied ready-customised for Isabelle, Coq, LEGO, HOL, and AF2. Proof General includes these features, amongst others: @@ -76,9 +69,9 @@ The user manual contains full details, and is available on-line at: http://www.proofgeneral.org/index.phtml?page=doc Proof General needs a recent version of Emacs to run with, and it much -prefers XEmacs to FSF GNU Emacs. Proof General 3.1 has been tested -with XEmacs 21.1 and Emacs 20.5. (It should work back to XEmacs 20.4 -and Emacs 20.2, though). +prefers XEmacs to FSF GNU Emacs. Proof General 3.2 has been tested +with XEmacs 21.1 and Emacs 20.7. (It may work back to XEmacs 20.4 and +Emacs 20.2, though). Installing Proof General is easy. Why not give it a try? |