diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 01:38:14 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 01:38:14 +0000 |
commit | 3f0bf7149ad9ad49c7c84566637106485370ef65 (patch) | |
tree | 1ea45fed6670d7d4c4455d60a6386fbda8e1ab31 /etc | |
parent | 86879f6c6a5cccb5877e34314e36b91e2a584ee4 (diff) |
Updated.
Diffstat (limited to 'etc')
-rw-r--r-- | etc/announce | 38 | ||||
-rw-r--r-- | etc/release-log.txt | 3 |
2 files changed, 3 insertions, 38 deletions
diff --git a/etc/announce b/etc/announce index c0d972d6..39a31654 100644 --- a/etc/announce +++ b/etc/announce @@ -1,42 +1,8 @@ -To: coq-club@pauillac.inria.fr, - isabelle-users@cl.cam.ac.uk, - lego-club@dcs.ed.ac.uk, - uitp@dcs.gla.ac.uk, - bra-types@cs.chalmers.se, - info-hol@leopard.cs.byu.edu, - pvs@csl.sri.com, - qed@mcs.anl.gov, - theorem-provers@ai.mit.edu, - types@cis.upenn.edu, - formal-methods@cs.uidaho.edu, - reliable_computing@interval.usl.edu, - prog-lang@diku.dk - - Also newsgroups: - comp.lang.ml - comp.lang.functional - gnu.emacs.sources - comp.emacs.xemacs - comp.os.linux.announce - freshmeat.net - -tag for comp.lang.ml, comp.lang.functional: - -[Posted here because ML and functional languages generally are - traditional for implementing interactive theorem provers. - Implementors of such systems may be interested in Proof General. - Apologies for multiple copies] - - - - -Subject: Proof General --- Version 3.4 release - Announcing Proof General Version 3.4 A Generic Emacs interface for Interactive Proof Assistants http://www.proofgeneral.org - contact: David Aspinall <da@proofgeneral.org> + Contact: David Aspinall <da@proofgeneral.org> Proof General is a generic (X)Emacs interface for proof assistants. It can be instantiated for the proof assistant of your choice, and is @@ -60,7 +26,7 @@ Summary of changes since 3.3: . GPL license . Improvements to menus, colour schemes . Visibility control over portions of proof script -. In Isabelle: tracing buffers, dependency highlighting +. In Isabelle: tracing buffers, dependency highlighting support . In Coq: much improved synchronization (inc sections, nested proofs) . Bug fixes, efficiency improvements, better generic code. . Compatibility improvements: XEmacs 21.4, Emacs 21.2 diff --git a/etc/release-log.txt b/etc/release-log.txt index 045601ee..4a14cbed 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -1,5 +1,4 @@ -XX.08.02 3.4 Release 3-4-1 - +29.08.02 3.4 Release 3-4 based on branch 7.0 -------------------- |