diff -r 755f8fe7ced9 -r 49765c1104d4 NEWS
--- 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.