diff options
Diffstat (limited to 'etc')
| -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, |