NEWS
changeset 50993 2c3d0cb151c0
parent 50991 b3c6c9ef11b8
child 50994 aafd4270b4d4
child 51050 7d0c5799e16c
     1.1 --- a/NEWS	Sun Jan 20 14:05:37 2013 +0100
     1.2 +++ b/NEWS	Sun Jan 20 15:26:56 2013 +0100
     1.3 @@ -1,8 +1,8 @@
     1.4  Isabelle NEWS -- history user-relevant changes
     1.5  ==============================================
     1.6  
     1.7 -New in this Isabelle version
     1.8 -----------------------------
     1.9 +New in Isabelle2013 (February 2013)
    1.10 +-----------------------------------
    1.11  
    1.12  *** General ***
    1.13