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