--- a/NEWS Sat Jan 15 14:02:24 2011 +0100
+++ b/NEWS Sat Jan 15 14:19:37 2011 +0100
@@ -6,6 +6,10 @@
*** General ***
+* Experimental Prover IDE based on Isabelle/Scala and jEdit (see
+src/Tools/jEdit). A bundled component provides "isabelle jedit" as
+executable Isabelle tool.
+
* Significantly improved Isabelle/Isar implementation manual.
* Source files are always encoded as UTF-8, instead of old-fashioned
@@ -88,6 +92,11 @@
explicit file specifications instead, relatively to the directory of
the enclosing theory file.
+* Discontinued support for Poly/ML 5.0 and 5.1 versions.
+
+* The IsabelleText font now includes Cyrillic, Hebrew, Arabic from
+DejaVu Sans.
+
*** Pure ***
@@ -300,7 +309,7 @@
* Boogie output files (.b2i files) need to be declared in the theory
header.
-* Dropped syntax for old version of primrec package. INCOMPATIBILITY.
+* Removed old version of primrec package. INCOMPATIBILITY.
* Multivariate Analysis: Introduced a type class for euclidean
space. Most theorems are now stated in terms of euclidean spaces
@@ -739,14 +748,6 @@
the program subject to physical effects of the environment.
-*** System ***
-
-* The IsabelleText font now includes Cyrillic, Hebrew, Arabic from
-DejaVu Sans.
-
-* Discontinued support for Poly/ML 5.0 and 5.1 versions.
-
-
New in Isabelle2009-2 (June 2010)
---------------------------------