NEWS
changeset 12467 b5630a4ea5d8
parent 12457 cbfc53e45476
child 12472 3307149f1ec2
     1.1 --- a/NEWS	Tue Dec 11 16:00:26 2001 +0100
     1.2 +++ b/NEWS	Tue Dec 11 16:22:09 2001 +0100
     1.3 @@ -299,7 +299,8 @@
     1.4  
     1.5  * system: refrain from any attempt at filtering input streams; no
     1.6  longer support ``8bit'' encoding of old isabelle font, instead proper
     1.7 -iso-latin characters may now be used;
     1.8 +iso-latin characters may now be used; the related isatools
     1.9 +"symbolinput" and "nonascii" have disappeared as well;
    1.10  
    1.11  * system: support Poly/ML 4.1.1 (able to manage larger heaps);
    1.12