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