diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2007-05-08 11:22:55 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2007-05-08 11:22:55 +0000 |
| commit | b7a2a236035da560a34b54eaf113cffc7bdaeb7d (patch) | |
| tree | c28cf02928d3206b777b81952ab1388cd8f9f736 /CHANGES | |
| parent | 790626349863010913335c4e1a92b5c6e0575523 (diff) | |
tuned Isabelle entry;
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -36,14 +36,14 @@ Including numerous improvements from Stefan Monnier. ** Changes for Isabelle -*** Support for Isabelle2005 and current development version of Isabelle. +*** Support for Isabelle2005 and later development snapshots of Isabelle. Additional menu functions and PGIP support for settings configuration now controlled directly by Isabelle. Support for Unicode-safe interaction (`proof-shell-unicode' variable). -Support for Isabelle 2003 has been removed; results with Isabelle 2004 -are not guaranteed. Code works with PolyML 5 versions of Isabelle. +Support for Isabelle2003 has been removed; results with Isabelle2004 +are not guaranteed. Code now works with PolyML 5 versions of Isabelle. @@ -82,7 +82,7 @@ are not guaranteed. Code works with PolyML 5 versions of Isabelle. *** Much better indentation - More robust. nested comments are OK even in xemacs. Still a bit + More robust. Nested comments are OK even in xemacs. Still a bit slow on big files. indent-region won't touch comments, but indenting comments with |