diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 00:03:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 00:03:14 +0000 |
| commit | cef0b539c86f81e1bbb35ad1bcb35c91df6daaa6 (patch) | |
| tree | 95622a0a9573933fd33fb37ea66c3f6f79d0b833 /etc | |
| parent | 7885665da5161b1fb31c5e2a65693704eabb3d88 (diff) | |
Claim auto compilation for Coq.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 2 |
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/) |