| changeset 40959 | 49765c1104d4 |
| parent 40956 | 95fe8598c0c9 |
| child 40965 | 54b6c9e1c157 |
--- a/NEWS Sat Dec 04 15:14:28 2010 +0100 +++ b/NEWS Sat Dec 04 18:41:12 2010 +0100 @@ -585,6 +585,9 @@ * Syntax.pretty_priority (default 0) configures the required priority of pretty-printed output and thus affects insertion of parentheses. +* Syntax.default_root (default "any") configures the inner syntax +category (nonterminal symbol) for parsing of terms. + * Former exception Library.UnequalLengths now coincides with ListPair.UnequalLengths.