| changeset 47887 | 4e9c06c194d9 |
| parent 47856 | 57d1df2f2a0f |
| child 47958 | c5f7be4a1734 |
--- a/NEWS Wed May 02 21:55:13 2012 +0200 +++ b/NEWS Wed May 02 22:05:59 2012 +0200 @@ -1,6 +1,10 @@ Isabelle NEWS -- history user-relevant changes ============================================== +New in this Isabelle version +---------------------------- + + New in Isabelle2012 (May 2012) ------------------------------