NEWS
changeset 12472 3307149f1ec2
parent 12467 b5630a4ea5d8
child 12489 c92e38c3cbaa
     1.1 --- a/NEWS	Tue Dec 11 17:02:46 2001 +0100
     1.2 +++ b/NEWS	Tue Dec 11 17:07:45 2001 +0100
     1.3 @@ -2,8 +2,8 @@
     1.4  Isabelle NEWS -- history user-relevant changes
     1.5  ==============================================
     1.6  
     1.7 -New in Isabelle2001 (?? 2001)
     1.8 ------------------------------
     1.9 +New in Isabelle2001 (December 2001)
    1.10 +-----------------------------------
    1.11  
    1.12  *** Document preparation ***
    1.13  
    1.14 @@ -297,11 +297,6 @@
    1.15  * Provers/clasimp: ``iff'' declarations now handle conditional rules
    1.16  as well;
    1.17  
    1.18 -* system: refrain from any attempt at filtering input streams; no
    1.19 -longer support ``8bit'' encoding of old isabelle font, instead proper
    1.20 -iso-latin characters may now be used; the related isatools
    1.21 -"symbolinput" and "nonascii" have disappeared as well;
    1.22 -
    1.23  * system: support Poly/ML 4.1.1 (able to manage larger heaps);
    1.24  
    1.25  * system: Proof General keywords specification is now part of the
    1.26 @@ -313,6 +308,15 @@
    1.27  damaged (executable inspects the case of the first letter of its own
    1.28  name); added separate "isabelle-process" and "isabelle-interface";
    1.29  
    1.30 +* system: refrain from any attempt at filtering input streams; no
    1.31 +longer support ``8bit'' encoding of old isabelle font, instead proper
    1.32 +iso-latin characters may now be used; the related isatools
    1.33 +"symbolinput" and "nonascii" have disappeared as well;
    1.34 +
    1.35 +* system: removed old "xterm" interface (the print modes "xterm" and
    1.36 +"xterm_color" are still available for direct use in a suitable
    1.37 +terminal);
    1.38 +
    1.39  
    1.40  
    1.41  New in Isabelle99-2 (February 2001)