| changeset 73143 | d0c8e8ca3505 |
| parent 73126 | 1105c42722dc |
| child 73154 | 56107393f2ef |
--- a/NEWS Sun Jan 17 00:16:14 2021 +0100 +++ b/NEWS Sun Jan 17 11:19:15 2021 +0100 @@ -4,11 +4,6 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) -New in this Isabelle version ----------------------------- - - - New in Isabelle2021 (February 2021) -----------------------------------