NEWS

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