| changeset 30904 | cc6a6047a10f |
| parent 30855 | c22436e6d350 |
| child 30957 | 20d01210b9b1 |
--- 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) --------------------------------