NEWS
changeset 50110 c933c635843a
parent 50034 c48b9b9f796d
child 50118 89a14e495526
equal deleted inserted replaced
50109:c13dc0b1841c 50110:c933c635843a
    21 dependencies properly.
    21 dependencies properly.
    22 
    22 
    23 * Discontinued obsolete method fastsimp / tactic fast_simp_tac, which
    23 * Discontinued obsolete method fastsimp / tactic fast_simp_tac, which
    24 is called fastforce / fast_force_tac already since Isabelle2011-1.
    24 is called fastforce / fast_force_tac already since Isabelle2011-1.
    25 
    25 
    26 * Updated and extended "isar-ref" manual, reduced remaining material
    26 * Updated and extended "isar-ref" and "implementation" manual, reduced
    27 in old "ref" manual.
    27 remaining material in old "ref" manual.
    28 
    28 
    29 * Improved support for auxiliary contexts indicate block structure for
    29 * Improved support for auxiliary contexts indicate block structure for
    30 specifications: nesting of "context fixes ... context assumes ..."
    30 specifications: nesting of "context fixes ... context assumes ..."
    31 and "class ... context ...".
    31 and "class ... context ...".
    32 
    32