diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-24 11:15:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-24 11:15:27 +0000 |
| commit | 2c0486ea8da1aef2c07bbf8da4f489148e00e766 (patch) | |
| tree | a07affa3bb8eb67562e5ff0365984ece237f1493 /etc | |
| parent | 922f0c807d00b1f5b2aa7bb8b0acd097f0a79580 (diff) | |
Updated.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 8 | ||||
| -rw-r--r-- | etc/release-log.txt | 4 |
2 files changed, 8 insertions, 4 deletions
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 <da+pg-feedback@inf.ed.ac.uk> + Contact: David Aspinall <da+pg-feedback@inf.ed.ac.uk> 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) |