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