| changeset 40956 | 95fe8598c0c9 |
| parent 40948 | ad8535384c34 |
| child 40959 | 49765c1104d4 |
--- a/NEWS Fri Dec 03 22:40:26 2010 +0100 +++ b/NEWS Sat Dec 04 14:57:04 2010 +0100 @@ -582,6 +582,9 @@ *** ML *** +* Syntax.pretty_priority (default 0) configures the required priority +of pretty-printed output and thus affects insertion of parentheses. + * Former exception Library.UnequalLengths now coincides with ListPair.UnequalLengths.