NEWS
changeset 64603 a7f5e59378f7
parent 64602 8edca3465758
child 64632 9df24b8b6c0a
     1.1 --- a/NEWS	Sun Dec 18 21:58:13 2016 +0100
     1.2 +++ b/NEWS	Sun Dec 18 22:14:53 2016 +0100
     1.3 @@ -3,6 +3,7 @@
     1.4  
     1.5  (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
     1.6  
     1.7 +
     1.8  New in this Isabelle version
     1.9  ----------------------------
    1.10