tuned;
authorwenzelm
Fri Apr 10 23:56:41 2015 +0200 (2015-04-10)
changeset 60006fd9191f0d323
parent 60005 e1d8c5099bef
child 60007 41a117825097
tuned;
NEWS
     1.1 --- a/NEWS	Fri Apr 10 22:53:30 2015 +0200
     1.2 +++ b/NEWS	Fri Apr 10 23:56:41 2015 +0200
     1.3 @@ -1,6 +1,9 @@
     1.4  Isabelle NEWS -- history of user-relevant changes
     1.5  =================================================
     1.6  
     1.7 +(Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
     1.8 +
     1.9 +
    1.10  New in this Isabelle version
    1.11  ----------------------------
    1.12