changeset 48902 | 4e9c06c194d9 |
parent 48727 | 57d1df2f2a0f |
child 48973 | c5f7be4a1734 |
1.1 --- a/NEWS Wed May 02 21:55:13 2012 +0200 1.2 +++ b/NEWS Wed May 02 22:05:59 2012 +0200 1.3 @@ -1,6 +1,10 @@ 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 New in Isabelle2012 (May 2012) 1.12 ------------------------------ 1.13