diff options
| author | David Aspinall | 2002-08-27 12:34:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-27 12:34:49 +0000 |
| commit | 83e7483c91feb80b3b27531ac230ab1b1289644a (patch) | |
| tree | eec4324c4f076ee63b1730eedf54df4b89a085eb | |
| parent | 17dd957785be01704d5abe4ad17ca2f9c03b3d43 (diff) | |
Updated
| -rw-r--r-- | etc/announce | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/etc/announce b/etc/announce index b8da4e0f..c0d972d6 100644 --- a/etc/announce +++ b/etc/announce @@ -58,10 +58,11 @@ Proof General includes these features, amongst others: Summary of changes since 3.3: . GPL license +. Improvements to menus, colour schemes +. Visibility control over portions of proof script . In Isabelle: tracing buffers, dependency highlighting . In Coq: much improved synchronization (inc sections, nested proofs) -. Improvements to generic code, instantiation mechanisms. -. Bug fixes +. Bug fixes, efficiency improvements, better generic code. . Compatibility improvements: XEmacs 21.4, Emacs 21.2 For details of changes since 3.3, see |