author | wenzelm |
Mon, 20 Apr 2009 12:26:31 +0200 | |
changeset 30904 | cc6a6047a10f |
parent 30903 | 0b960d9c5317 |
child 30905 | e3bbc2c4c581 |
1.1 --- a/NEWS Sun Apr 19 17:27:43 2009 +0200 1.2 +++ b/NEWS Mon Apr 20 12:26:31 2009 +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 Isabelle2009 (April 2009) 1.13 -------------------------------- 1.14