NEWS

--- a/NEWS	Sat Apr 28 17:53:12 2012 +0200
+++ b/NEWS	Sat Apr 28 17:54:50 2012 +0200
@@ -36,8 +36,9 @@
 "syntax_ambiguity_warning" and "syntax_ambiguity_limit" in isar-ref
 manual.  Minor INCOMPATIBILITY.
 
-* Updated and extended reference manuals: "isar-ref" and
-"implementation"; reduced remaining material in old "ref" manual.
+* Updated and extended reference manuals: "isar-ref",
+"implementation", "system"; reduced remaining material in old "ref"
+manual.
 
 
 *** Pure ***