aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-05-07 00:03:14 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-05-07 00:03:14 +0000
commitcef0b539c86f81e1bbb35ad1bcb35c91df6daaa6 (patch)
tree95622a0a9573933fd33fb37ea66c3f6f79d0b833 /etc
parent7885665da5161b1fb31c5e2a65693704eabb3d88 (diff)
Claim auto compilation for Coq.
Diffstat (limited to 'etc')
-rw-r--r--etc/announce2
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/announce b/etc/announce
index 1b9c0935..cb8f3c05 100644
--- a/etc/announce
+++ b/etc/announce
@@ -29,7 +29,7 @@ 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 (8.0): extensive templates, automatic compilation support
+. For Coq (8.0): "holes" for editing expressions, extra menus, auto compilation
. 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/)