diff options
| author | David Aspinall | 2004-04-16 10:00:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-16 10:00:44 +0000 |
| commit | 45b1cff194b0dbd38d39cf5175d100b88a55792a (patch) | |
| tree | d285c3ffa7b3938e4e44885fea3090c97c6c59f1 /etc | |
| parent | 12bea11983499c5d8ed6baec989d0a51f541fd50 (diff) | |
Updated.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/announce b/etc/announce index c614932e..811b48c7 100644 --- a/etc/announce +++ b/etc/announce @@ -32,6 +32,7 @@ Summary of interesting changes since 3.4: . For Coq: a new "holes" system, for editing structured expressions . For Isabelle: 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 . Many changes for compatibility with latest Emacsen (esp. GNU) and provers |