updated "isar-ref" manual, reduced remaining material in "ref" manual.
authorwenzelm
Mon Jun 25 11:07:51 2012 +0200 (2012-06-25)
changeset 481209fe0e71052a0
parent 48119 55c305e29f4b
child 48121 fa7c0c659798
updated "isar-ref" manual, reduced remaining material in "ref" manual.
NEWS
     1.1 --- a/NEWS	Wed Jun 20 21:18:35 2012 +0200
     1.2 +++ b/NEWS	Mon Jun 25 11:07:51 2012 +0200
     1.3 @@ -9,6 +9,9 @@
     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 +
    1.10  
    1.11  *** System ***
    1.12  
    1.13 @@ -37,6 +40,8 @@
    1.14  
    1.15    - Rationalized type encodings ("type_enc" option).
    1.16  
    1.17 +
    1.18 +
    1.19  New in Isabelle2012 (May 2012)
    1.20  ------------------------------
    1.21