| changeset 72972 | 31ff3c962937 |
| parent 72971 | 162b71f7e554 |
| child 72987 | b1be35908165 |
--- a/NEWS Mon Dec 21 13:58:11 2020 +0100 +++ b/NEWS Mon Dec 21 14:03:12 2020 +0100 @@ -4,8 +4,8 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) -New in this Isabelle version ----------------------------- +New in Isabelle2021 (February 2021) +----------------------------------- *** General ***