# HG changeset patch
# User wenzelm
# Date 1353179974 -3600
# Node ID c933c635843a92cc58103496be52de17ac330d8a
# Parent  c13dc0b1841cd18258e915166d99daa3c3d04ccd
NEWS;

diff -r c13dc0b1841c -r c933c635843a NEWS
--- a/NEWS	Sat Nov 17 20:10:28 2012 +0100
+++ b/NEWS	Sat Nov 17 20:19:34 2012 +0100
@@ -23,8 +23,8 @@
 * Discontinued obsolete method fastsimp / tactic fast_simp_tac, which
 is called fastforce / fast_force_tac already since Isabelle2011-1.
 
-* Updated and extended "isar-ref" manual, reduced remaining material
-in old "ref" manual.
+* Updated and extended "isar-ref" and "implementation" manual, reduced
+remaining material in old "ref" manual.
 
 * Improved support for auxiliary contexts indicate block structure for
 specifications: nesting of "context fixes ... context assumes ..."