# HG changeset patch
# User wenzelm
# Date 1295097577 -3600
# Node ID 7a3181986004f98918663c296f506a54daa92988
# Parent  089049b768c68626ed8610c145db4e82d62b1151
misc updates for release;

diff -r 089049b768c6 -r 7a3181986004 NEWS
--- 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)
 ---------------------------------