| changeset 45109 | 20b3377b08d7 |
| parent 45089 | 24ad77c3a147 |
| child 45122 | 49e305100097 |
--- a/NEWS Mon Sep 26 21:09:28 2011 +0200 +++ b/NEWS Mon Sep 26 21:13:26 2011 +0200 @@ -1,6 +1,11 @@ Isabelle NEWS -- history user-relevant changes ============================================== +New in this Isabelle version +---------------------------- + + + New in Isabelle2011-1 (October 2011) ------------------------------------