--- a/NEWS Wed Sep 07 23:55:40 2011 +0200
+++ b/NEWS Thu Sep 08 00:23:23 2011 +0200
@@ -1,8 +1,8 @@
Isabelle NEWS -- history user-relevant changes
==============================================
-New in this Isabelle version
-----------------------------
+New in Isabelle2011-1 (October 2011)
+------------------------------------
*** General ***
@@ -466,6 +466,9 @@
INCOMPATIBILITY, classical tactics and derived proof methods require
proper Proof.context.
+
+*** System ***
+
* Scala layer provides JVM method invocation service for static
methods of type (String)String, see Invoke_Scala.method in ML. For
example:
@@ -475,6 +478,10 @@
Togeter with YXML.string_of_body/parse_body and XML.Encode/Decode this
allows to pass structured values between ML and Scala.
+* The IsabelleText fonts includes some further glyphs to support the
+Prover IDE. Potential INCOMPATIBILITY: users who happen to have
+installed a local copy (which is normally *not* required) need to
+delete or update it from ~~/lib/fonts/.
New in Isabelle2011 (January 2011)