diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 17:26:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 17:26:24 +0000 |
| commit | d0e4829ebc24314e458a198e62ac4d74dfca22b7 (patch) | |
| tree | 6561ce8e82ffb1a5c65556ffd31bbc511b5b10b2 /etc | |
| parent | 720c6a5ff339e1c864b5b2c0b185d48e0bc6c1ac (diff) | |
Mention ACL2 too
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/announce b/etc/announce index eda0171e..2d7b89ec 100644 --- a/etc/announce +++ b/etc/announce @@ -55,14 +55,14 @@ Proof General includes these features, amongst others: Summary of changes since 3.1: -. Support for new provers: AF2 (full) Twelf (in progress) +. New provers: AF2 (full support) Twelf, ACL2 (experimental support) . Each proof assistant now has its own menu with specific functions . Documentation is now split into user manual and "adapting" manual . Improvements in window management . New commands, including parsing of error messages . Efficiency improvements -. Internal improvements: more flexible parsing and easier configuration . Several bug fixes +. Internal improvements: more flexible parsing and easier configuration . For details, see http://www.proofgeneral.org/ProofGeneral-3.2/CHANGES The user manual contains full details, and is available on-line at: |