NEWS
changeset 62114 a7cf464933f7
parent 62111 e2b768b0035d
child 62118 e60f1a925b4d
     1.1 --- a/NEWS	Sat Jan 09 22:00:22 2016 +0100
     1.2 +++ b/NEWS	Sat Jan 09 22:22:17 2016 +0100
     1.3 @@ -1,7 +1,7 @@
     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 +(Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
     1.9  
    1.10  
    1.11  New in Isabelle2016 (February 2016)