| changeset 57695 | 987c9ceeaafd |
| parent 57693 | 8ccc4875fe4f |
| child 57737 | 72d4c00064af |
--- a/NEWS Sun Jul 27 15:29:42 2014 +0200 +++ b/NEWS Sun Jul 27 15:44:08 2014 +0200 @@ -1,6 +1,11 @@ Isabelle NEWS -- history of user-relevant changes ================================================= +New in this Isabelle version +---------------------------- + + + New in Isabelle2014 (August 2014) ---------------------------------