# HG changeset patch
# User wenzelm
# Date 1219527871 -7200
# Node ID 58415a0de3271d1194c5b188871592f9541b2546
# Parent  9fb6cfaa5da52f7807127aae9130281f56eed936
* Isabelle/lib/classes/Pure.jar;
* Status messages;
* Homegrown Isabelle font;

diff -r 9fb6cfaa5da5 -r 58415a0de327 NEWS
--- a/NEWS	Sat Aug 23 23:24:16 2008 +0200
+++ b/NEWS	Sat Aug 23 23:44:31 2008 +0200
@@ -198,6 +198,21 @@
   @{lemma (open) ...}                     - open derivation
 
 
+*** System ***
+
+* Isabelle/lib/classes/Pure.jar provides basic support to integrate
+the Isabelle process into a JVM/Scala application.  See
+Isabelle/lib/jedit/plugin for a minimal example.  (The obsolete Java
+process wrapper has been discontinued.)
+
+* Status messages (with exact source position information) are
+emitted, if proper markup print mode is enabled.  This allows
+user-interface components to provide detailed feedback on internal
+prover operations.
+
+* Homegrown Isabelle font with unicode layout, see Isabelle/lib/fonts.
+
+
 
 New in Isabelle2008 (June 2008)
 -------------------------------