diff -r 6e6d9e80ebb4 -r e5b55d7be9bb NEWS
--- a/NEWS	Sat Oct 06 16:41:22 2007 +0200
+++ b/NEWS	Sat Oct 06 16:50:04 2007 +0200
@@ -1337,6 +1337,11 @@
 quasi-functional intermediate checkpoint, both in interactive and
 batch mode.
 
+* Isar: simplified interfaces for outer syntax.  Renamed
+OuterSyntax.add_keywords to OuterSyntax.keywords.  Removed
+OuterSyntax.add_parsers -- this functionality is now included in
+OuterSyntax.command etc.  INCOMPATIBILITY.
+
 * Simplifier: the simpset of a running simplification process now
 contains a proof context (cf. Simplifier.the_context), which is the
 very context that the initial simpset has been retrieved from (by