NEWS
changeset 54055 5bf55a713232
parent 54049 566b769c3477
child 54227 63b441f49645
equal deleted inserted replaced
54054:c37100233af7 54055:5bf55a713232
     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 Isabelle2013-1 (November 2013)
     9 New in Isabelle2013-1 (November 2013)
     5 -------------------------------------
    10 -------------------------------------
     6 
    11 
     7 *** General ***
    12 *** General ***