# HG changeset patch
# User wenzelm
# Date 1008086865 -3600
# Node ID 3307149f1ec246f1680fe2d02d4998a34ef09cb7
# Parent  632cb16dc07e3f098664de8525b924699a2a5c50
tuned;

diff -r 632cb16dc07e -r 3307149f1ec2 NEWS
--- 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)