NEWS
changeset 71715 9e2f52d0aec3
parent 71666 e15ca98ffbfe
child 71728 c986a422dee1
equal deleted inserted replaced
71714:9eb584b1c86a 71715:9e2f52d0aec3
     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 
     5 
     6 
     6 
     7 New in this Isabelle version
     7 New in this Isabelle version
     8 ----------------------------
     8 ----------------------------
       
     9 
       
    10 *** System ***
       
    11 
       
    12 * The command-line tool "isabelle console" now supports interrupts
       
    13 properly (on Linux and macOS).
     9 
    14 
    10 
    15 
    11 
    16 
    12 New in Isabelle2020 (April 2020)
    17 New in Isabelle2020 (April 2020)
    13 --------------------------------
    18 --------------------------------