| changeset 50994 | aafd4270b4d4 |
| parent 50993 | 2c3d0cb151c0 |
| child 51002 | 496013a6eb38 |
--- a/NEWS Sun Jan 20 15:26:56 2013 +0100 +++ b/NEWS Sun Jan 20 15:34:27 2013 +0100 @@ -1,6 +1,10 @@ Isabelle NEWS -- history user-relevant changes ============================================== +New in this Isabelle version +---------------------------- + + New in Isabelle2013 (February 2013) -----------------------------------