NEWS

--- a/NEWS	Tue Jun 18 15:15:36 2013 +0200
+++ b/NEWS	Tue Jun 18 15:31:52 2013 +0200
@@ -29,6 +29,9 @@
 * Discontinued redundant 'use' command, which was superseded by
 'ML_file' in Isabelle2013.  Minor INCOMPATIBILITY.
 
+* Updated and extended "isar-ref" and "implementation" manual,
+eliminated old "ref" manual.
+
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***