From 2c0486ea8da1aef2c07bbf8da4f489148e00e766 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 24 Apr 2004 11:15:27 +0000 Subject: Updated. --- etc/announce | 8 ++++---- etc/release-log.txt | 4 ++++ 2 files changed, 8 insertions(+), 4 deletions(-) (limited to 'etc') diff --git a/etc/announce b/etc/announce index 811b48c7..1b9c0935 100644 --- a/etc/announce +++ b/etc/announce @@ -1,8 +1,8 @@ Announcing Proof General Version 3.5 A Generic Emacs interface for Interactive Proof Assistants - http://proofgeneral.inf.ed.ac.uk + http://proofgeneral.inf.ed.ac.uk - 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 @@ -29,8 +29,8 @@ Summary of interesting changes since 3.4: . Keyboard hints and other messages displayed in minibuffer . Auxiliary modes bundled: X-Symbol and MMM Mode . Improved menus, user options, script colouring and active highlighting -. For Coq: a new "holes" system, for editing structured expressions -. For Isabelle: browsing/highlighting theorem dependencies +. For Coq (8.0): extensive templates, automatic compilation support +. For Isabelle (2004): browsing/highlighting theorem dependencies . New instances of PG: Casl Consistency Checker, Shell Script . Additional sample proofs (some from http://www.cs.kun.nl/~freek/comparison/) . Many other minor improvements and editing features diff --git a/etc/release-log.txt b/etc/release-log.txt index ec99be5a..60a27a41 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -1,3 +1,7 @@ +XX.04.04 3.5.1 Release forthcoming for improved Coq 8.0 support + +-------------------- + 18.04.04 3.5 Release 3-4 based on branch 8.0 (repeated: 18.04.04 fixes to display handling 21.04.04 modify CHANGES; Coq menu) -- cgit v1.2.3