diff options
| author | David Aspinall | 2000-10-02 19:11:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-10-02 19:11:49 +0000 |
| commit | 01c80c233e2a27210e3854d2183e464d5e4589c0 (patch) | |
| tree | 2c3abe864920ba40c8373dd499c23e4968880683 | |
| parent | d1fa58fc265861fc107cd872e2cc1d7046508693 (diff) | |
Mention Isabelle99-1 change
| -rw-r--r-- | etc/announce | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/announce b/etc/announce index 2d7b89ec..f349c9a1 100644 --- a/etc/announce +++ b/etc/announce @@ -56,6 +56,7 @@ Proof General includes these features, amongst others: Summary of changes since 3.1: . New provers: AF2 (full support) Twelf, ACL2 (experimental support) +. Integrated support for Isabelle upgraded for Isabelle99-1 . 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 |