NEWS
changeset 41651 c78b786fe060
parent 41603 54a4512e29a6
child 41667 b9357f56fd64
equal deleted inserted replaced
41603:54a4512e29a6 41651:c78b786fe060
     1 Isabelle NEWS -- history user-relevant changes
     1 Isabelle NEWS -- history user-relevant changes
     2 ==============================================
     2 ==============================================
       
     3 
       
     4 New in this Isabelle version
       
     5 ----------------------------
       
     6 
       
     7 
     3 
     8 
     4 New in Isabelle2011 (January 2011)
     9 New in Isabelle2011 (January 2011)
     5 ----------------------------------
    10 ----------------------------------
     6 
    11 
     7 *** General ***
    12 *** General ***