diff options
| author | David Aspinall | 1999-10-06 10:47:05 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 10:47:05 +0000 |
| commit | 21449fb10a733a67fe8cf39066db526a68981642 (patch) | |
| tree | cf8c8f6f39dd0631f397b9d7fbad636510d2a0e0 | |
| parent | 6c332eae8a8f7b53848b6f34907e48f780108ba8 (diff) | |
summarize changes since 2.1
| -rw-r--r-- | etc/announce | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/etc/announce b/etc/announce index 67b2997a..01672d3f 100644 --- a/etc/announce +++ b/etc/announce @@ -63,10 +63,17 @@ Isabelle. It includes these features (amongst others): Script management is the main feature. +Summary of changes since 2.1: + + . Six new toolbar buttons, enabled depending on context + . Reorganized and improved menus + . New function to search for theorems + . Lots more fine-grained improvements, for full details + http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/CHANGES + The user manual contains full details, and is available on-line at: http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/doc/ProofGeneral_toc.html - The rest of this announcement contains notes addressed to different user communities: LEGO, Coq, and Isabelle; users of other proof assistants, user-interface/theorem-proving researchers and, finally, |