changeset 71715 | 9e2f52d0aec3 |
parent 71666 | e15ca98ffbfe |
child 71728 | c986a422dee1 |
--- a/NEWS Mon Apr 06 21:12:11 2020 +0200 +++ b/NEWS Mon Apr 06 21:18:16 2020 +0200 @@ -7,6 +7,11 @@ New in this Isabelle version ---------------------------- +*** System *** + +* The command-line tool "isabelle console" now supports interrupts +properly (on Linux and macOS). + New in Isabelle2020 (April 2020)