# HG changeset patch
# User wenzelm
# Date 967487324 -7200
# Node ID 533df6cedc2d47213f35fb8f8f2af971ccbe43f7
# Parent  71364b4872323a63fa0c0de352128d9525e2a661
* \isabellestyle{it} produces near math mode output;
* settings: smart setup of canonical ML_HOME, ISABELLE_INTERFACE, XSYMBOL_HOME;

diff -r 71364b487232 -r 533df6cedc2d NEWS
--- 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;