NEWS

--- a/NEWS	Fri Dec 17 17:08:56 2010 +0100
+++ b/NEWS	Fri Dec 17 17:43:54 2010 +0100
@@ -83,6 +83,10 @@
 
 *** Pure ***
 
+* Replaced command 'nonterminals' by slightly modernized version
+'nonterminal' (with 'and' separated list of arguments).
+INCOMPATIBILITY.
+
 * Command 'notepad' replaces former 'example_proof' for
 experimentation in Isar without any result.  INCOMPATIBILITY.