| changeset 41651 | c78b786fe060 |
| parent 41603 | 54a4512e29a6 |
| child 41667 | b9357f56fd64 |
--- a/NEWS Mon Jan 17 18:32:16 2011 +0100 +++ b/NEWS Mon Jan 17 20:20:51 2011 +0100 @@ -1,6 +1,11 @@ Isabelle NEWS -- history user-relevant changes ============================================== +New in this Isabelle version +---------------------------- + + + New in Isabelle2011 (January 2011) ----------------------------------