1.1 --- a/NEWS Sat Nov 17 20:10:28 2012 +0100
1.2 +++ b/NEWS Sat Nov 17 20:19:34 2012 +0100
1.3 @@ -23,8 +23,8 @@
1.4 * Discontinued obsolete method fastsimp / tactic fast_simp_tac, which
1.5 is called fastforce / fast_force_tac already since Isabelle2011-1.
1.6
1.7 -* Updated and extended "isar-ref" manual, reduced remaining material
1.8 -in old "ref" manual.
1.9 +* Updated and extended "isar-ref" and "implementation" manual, reduced
1.10 +remaining material in old "ref" manual.
1.11
1.12 * Improved support for auxiliary contexts indicate block structure for
1.13 specifications: nesting of "context fixes ... context assumes ..."