* \isabellestyle{it} produces near math mode output;
* settings: smart setup of canonical ML_HOME, ISABELLE_INTERFACE, XSYMBOL_HOME;

--- a/NEWS	Mon Aug 28 17:02:19 2000 +0200
+++ b/NEWS	Mon Aug 28 20:28:44 2000 +0200
@@ -105,8 +105,8 @@
 on WWW server seperately); improved graphs of nested sessions; removed
 graph for 'all sessions';
 
-* several improvements in isabelle.sty; \isamarkupheader is now
-\section by default;
+* several improvements in isabelle.sty; \isabellestyle{it} produces
+near math mode output; \isamarkupheader is now \section by default;
 
 
 *** Isar ***
@@ -326,6 +326,10 @@
 
 * provide TAGS file for Isabelle sources;
 
+* settings: smart setup of canonical ML_HOME, ISABELLE_INTERFACE, and
+XSYMBOL_HOME; no longer need to do manual configuration in most
+situations;
+
 * ML: infix 'OF' is a version of 'MRS' with more appropriate argument
 order;