# HG changeset patch
# User wenzelm
# Date 882193213 -3600
# Node ID b68047c56fce3fa30f2e7801d5dac3b597d1cb4e
# Parent  2af86fcb97d71eaafef2d234ad719df0d84c5394
tuned;

diff -r 2af86fcb97d7 -r b68047c56fce NEWS
--- a/NEWS	Mon Dec 15 14:14:06 1997 +0100
+++ b/NEWS	Mon Dec 15 14:40:13 1997 +0100
@@ -2,8 +2,24 @@
 Isabelle NEWS -- history of user-visible changes
 ================================================
 
-New in Isabelle???? (DATE ????)
--------------------------------
+New in Isabelle98 (January 1998)
+--------------------------------
+
+*** Overview of INCOMPATIBILITIES (see below for more details) ***
+
+* changed lexical syntax of terms / types: dots made part of long
+identifiers, e.g. "%x.x" no longer possible, should be "%x. x";
+
+* simpset (and claset) reference variable replaced by functions
+simpset / simpset_ref;
+
+* no longer supports theory aliases (via merge) and non-trivial
+implicit merge of thms' signatures;
+
+* most internal names of constants changed due to qualified names;
+
+* changed Pure/Sequence interface (see Pure/seq.ML);
+
 
 *** General Changes ***
 
diff -r 2af86fcb97d7 -r b68047c56fce src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Mon Dec 15 14:14:06 1997 +0100
+++ b/src/Pure/ROOT.ML	Mon Dec 15 14:40:13 1997 +0100
@@ -8,7 +8,7 @@
 *)
 
 val banner = "Pure Isabelle";
-val version = "Isabelle98: Jan 1998";
+val version = "Isabelle98: January 1998";
 
 print_depth 1;