NEWS
changeset 54055 5bf55a713232
parent 54049 566b769c3477
child 54227 63b441f49645
     1.1 --- a/NEWS	Thu Oct 03 16:32:33 2013 +0200
     1.2 +++ b/NEWS	Thu Oct 03 19:01:10 2013 +0200
     1.3 @@ -1,6 +1,11 @@
     1.4  Isabelle NEWS -- history user-relevant changes
     1.5  ==============================================
     1.6  
     1.7 +New in this Isabelle version
     1.8 +----------------------------
     1.9 +
    1.10 +
    1.11 +
    1.12  New in Isabelle2013-1 (November 2013)
    1.13  -------------------------------------
    1.14