changeset 71557 | 61ba52af28e3 |
parent 71551 | 76ec3baeec9d |
child 71582 | f2c1154e9c8d |
--- a/NEWS Sun Mar 15 11:57:59 2020 +0100 +++ b/NEWS Sun Mar 15 13:20:22 2020 +0100 @@ -4,6 +4,11 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) +New in this Isabelle version +---------------------------- + + + New in Isabelle2020 (April 2020) --------------------------------