--- a/NEWS Tue Dec 11 17:02:46 2001 +0100
+++ b/NEWS Tue Dec 11 17:07:45 2001 +0100
@@ -2,8 +2,8 @@
Isabelle NEWS -- history user-relevant changes
==============================================
-New in Isabelle2001 (?? 2001)
------------------------------
+New in Isabelle2001 (December 2001)
+-----------------------------------
*** Document preparation ***
@@ -297,11 +297,6 @@
* Provers/clasimp: ``iff'' declarations now handle conditional rules
as well;
-* system: refrain from any attempt at filtering input streams; no
-longer support ``8bit'' encoding of old isabelle font, instead proper
-iso-latin characters may now be used; the related isatools
-"symbolinput" and "nonascii" have disappeared as well;
-
* system: support Poly/ML 4.1.1 (able to manage larger heaps);
* system: Proof General keywords specification is now part of the
@@ -313,6 +308,15 @@
damaged (executable inspects the case of the first letter of its own
name); added separate "isabelle-process" and "isabelle-interface";
+* system: refrain from any attempt at filtering input streams; no
+longer support ``8bit'' encoding of old isabelle font, instead proper
+iso-latin characters may now be used; the related isatools
+"symbolinput" and "nonascii" have disappeared as well;
+
+* system: removed old "xterm" interface (the print modes "xterm" and
+"xterm_color" are still available for direct use in a suitable
+terminal);
+
New in Isabelle99-2 (February 2001)