diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 22:00:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 22:00:04 +0000 |
| commit | ca677da1491465014e66abf31d168e2e457595da (patch) | |
| tree | fc19e22c16085ce64f4b847137a0100607915799 /CHANGES | |
| parent | 34d0576929a20139384ebe64cf4cf685aabc671d (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 17 |
1 files changed, 7 insertions, 10 deletions
@@ -6,11 +6,16 @@ *** Fixes and improvements, compatibility patches -- Unicode Tokens: supports control tokens (Isabelle sub/super/fonts) +- Unicode Tokens: supports control tokens (Isabelle sub/super/fonts). + This support is preliminary; editing files is unreliable. + X-Symbol is still recommended. - Fix Options saving for MMM, Maths Menu, Unicode Tokens. -- Compatibility improvements for: Carbon Emacs +- Compatibility improvements for: Carbon Emacs, latest Emacs 23 CVS. +** Isabelle changes +- Choice of isabelle command command based on isatool, if run outside wrapper +- Logic can be set in comment: (* -*- isabelle-chosen-logic: "ZF" -*- *) ** Coq changes @@ -19,14 +24,6 @@ (emacs-snapshot), previous emacs's can't be fixed. - - - - - - - - * Summary of Changes for Proof General 3.7 from 3.5 (via 3.6pre) ** Generic changes |