1.1 --- a/NEWS	Wed Dec 13 12:47:15 2000 +0100
     1.2 +++ b/NEWS	Wed Dec 13 16:21:40 2000 +0100
     1.3 @@ -89,6 +89,9 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 +* print modes "brackets" and "no_brackets" control output of nested =>
     1.8 +(types) and ==> (props); the default behaviour is "brackets";
     1.9 +
    1.10  * system: support Poly/ML 4.0 (current beta versions);
    1.11  
    1.12  * Pure: the Simplifier has been implemented properly as a derived rule