| changeset 71666 | e15ca98ffbfe |
| parent 71662 | 263298eb68b2 |
| parent 71582 | f2c1154e9c8d |
| child 71715 | 9e2f52d0aec3 |
--- a/NEWS Thu Apr 02 11:45:03 2020 +0200 +++ b/NEWS Thu Apr 02 13:04:24 2020 +0200 @@ -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) --------------------------------