From 3f0bf7149ad9ad49c7c84566637106485370ef65 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 29 Aug 2002 01:38:14 +0000 Subject: Updated. --- etc/announce | 38 ++------------------------------------ etc/release-log.txt | 3 +-- 2 files changed, 3 insertions(+), 38 deletions(-) (limited to 'etc') 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 + Contact: David Aspinall 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 -------------------- -- cgit v1.2.3