NEWS;
authorwenzelm
Sat Nov 17 20:19:34 2012 +0100 (2012-11-17)
changeset 50110c933c635843a
parent 50109 c13dc0b1841c
child 50111 9e04e6edc5e7
NEWS;
NEWS
     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 ..."