NEWS

 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2011-1 (October 2011)
+------------------------------------
 
 *** General ***
 
 * Improved Isabelle/jEdit Prover IDE (PIDE), which can be invoked as
 "isabelle jedit" on the command line.

 snapshot of the classical context, which can be recovered via
 (put_claset HOL_cs) etc.  Type clasimpset has been discontinued.
 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:
 
   Invoke_Scala.method "java.lang.System.getProperty" "java.home"
 
 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)
 ----------------------------------