author | wenzelm |
Mon, 20 Apr 2009 12:26:31 +0200 | |
changeset 30904 | cc6a6047a10f |
parent 30903 | 0b960d9c5317 |
child 30905 | e3bbc2c4c581 |
--- a/NEWS Sun Apr 19 17:27:43 2009 +0200 +++ b/NEWS Mon Apr 20 12:26:31 2009 +0200 @@ -1,6 +1,11 @@ Isabelle NEWS -- history user-relevant changes ============================================== +New in this Isabelle version +---------------------------- + + + New in Isabelle2009 (April 2009) --------------------------------