# HG changeset patch
# User wenzelm
# Date 976720900 -3600
# Node ID da5373fa06dea7c905d9c3125bafdb3f085e354d
# Parent  fb08faea465d5162abd65ee3c2f629c04a30de1d
* print modes "brackets" and "no_brackets" control output of nested =>
(types) and ==> (props); the default behaviour is "brackets";

diff -r fb08faea465d -r da5373fa06de 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