diff options
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) |