NEWS
changeset 10664 da5373fa06de
parent 10634 b4c3af8ebada
child 10726 e12b81140945
     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