diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 20:38:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 20:38:39 +0000 |
| commit | c99306fb6077e6b3dd2212ce079c6651865f30f6 (patch) | |
| tree | 181dca02077daa7979f0c5d92e3b1e80f90ea0c0 | |
| parent | 1b0a9f62c9ea2e577a72ecf1c180713471b965fb (diff) | |
Explain LaTeX mode for Isabelle a bit better
| -rw-r--r-- | etc/announce | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/announce b/etc/announce index 876ba470..45537576 100644 --- a/etc/announce +++ b/etc/announce @@ -32,14 +32,15 @@ Summary of interesting changes since 3.4 (August 2002): . Improved display management. . RPM packages with freedesktop.org integration and compiled files . Keyboard hints and other messages displayed in minibuffer -. Auxiliary modes bundled: X-Symbol and MMM Mode . Improved menus, user options, script colouring and active highlighting . For Coq (8.0): "holes" for editing expressions, extra menus, auto compilation . For Isabelle (2004): browsing/highlighting theorem dependencies +. For Isabelle: using LaTeX mode for LaTeX parts of proof documents (via MMM) . New instances of PG: Casl Consistency Checker, Shell Script . Additional sample proofs (some from http://www.cs.kun.nl/~freek/comparison/) . Many other minor improvements and editing features . Many changes for compatibility with latest Emacsen (esp. GNU) and provers +. Auxiliary modes bundled: X-Symbol and MMM (Multiple Major Mode) For details of changes since 3.4, see http://proofgeneral.inf.ed.ac.uk/fileshow.php?file=ProofGeneral-3.6%2FCHANGES |