NEWS
changeset 66651 435cb8d69e27
parent 66650 bcea02893d17
child 66661 fdab65297bd6
equal deleted inserted replaced
66650:bcea02893d17 66651:435cb8d69e27
     1 Isabelle NEWS -- history of user-relevant changes
     1 Isabelle NEWS -- history of user-relevant changes
     2 =================================================
     2 =================================================
     3 
     3 
     4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
     4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
       
     5 
       
     6 
       
     7 New in this Isabelle version
       
     8 ----------------------------
     5 
     9 
     6 
    10 
     7 New in Isabelle2017 (October 2017)
    11 New in Isabelle2017 (October 2017)
     8 ----------------------------------
    12 ----------------------------------
     9 
    13