aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>2007-05-08 11:22:55 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>2007-05-08 11:22:55 +0000
commitb7a2a236035da560a34b54eaf113cffc7bdaeb7d (patch)
treec28cf02928d3206b777b81952ab1388cd8f9f736 /CHANGES
parent790626349863010913335c4e1a92b5c6e0575523 (diff)
tuned Isabelle entry;
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES8
1 files changed, 4 insertions, 4 deletions
diff --git a/CHANGES b/CHANGES
index b2e9cd05..f015ec78 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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