changeset 73126 | 1105c42722dc |
parent 73124 | 802647edfe7b |
child 73143 | d0c8e8ca3505 |
--- a/NEWS Sun Jan 10 15:39:02 2021 +0100 +++ b/NEWS Sun Jan 10 15:48:15 2021 +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 Isabelle2021 (February 2021) -----------------------------------