--- 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;