| changeset 37383 | 22757d15cd86 |
| parent 37352 | c4f393759c59 |
| child 37387 | 3581483cca6c |
--- a/NEWS Mon Jun 07 17:13:36 2010 +0200 +++ b/NEWS Mon Jun 07 17:39:32 2010 +0200 @@ -1,6 +1,11 @@ Isabelle NEWS -- history user-relevant changes ============================================== +New in this Isabelle version +---------------------------- + + + New in Isabelle2009-2 (June 2010) ---------------------------------