changeset 52008 | 2c3d0cb151c0 |
parent 52006 | b3c6c9ef11b8 |
child 52018 | 7d0c5799e16c |
child 52176 | aafd4270b4d4 |
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