changeset 48120 | 9fe0e71052a0 |
parent 48111 | 33414f2e82ab |
child 48171 | 28a6d67c93f0 |
--- a/NEWS Wed Jun 20 21:18:35 2012 +0200 +++ b/NEWS Mon Jun 25 11:07:51 2012 +0200 @@ -9,6 +9,9 @@ * 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. + *** System *** @@ -37,6 +40,8 @@ - Rationalized type encodings ("type_enc" option). + + New in Isabelle2012 (May 2012) ------------------------------