| changeset 60006 | fd9191f0d323 |
| parent 59998 | c54d36be22ef |
| child 60009 | bd1c342dbbce |
--- a/NEWS Fri Apr 10 22:53:30 2015 +0200 +++ b/NEWS Fri Apr 10 23:56:41 2015 +0200 @@ -1,6 +1,9 @@ Isabelle NEWS -- history of user-relevant changes ================================================= +(Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.) + + New in this Isabelle version ----------------------------