NEWS
changeset 71666 e15ca98ffbfe
parent 71662 263298eb68b2
parent 71582 f2c1154e9c8d
child 71715 9e2f52d0aec3
equal deleted inserted replaced
71665:9fdbd2f0b56e 71666:e15ca98ffbfe
     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 ----------------------------
       
     9 
     5 
    10 
     6 
    11 
     7 New in Isabelle2020 (April 2020)
    12 New in Isabelle2020 (April 2020)
     8 --------------------------------
    13 --------------------------------
     9 
    14