| changeset 82198 | 4e018ff3aa82 |
| parent 82155 | 2ecab61b59f3 |
| child 82201 | b1af763166f4 |
--- a/NEWS Wed Feb 19 10:12:35 2025 +0100 +++ b/NEWS Wed Feb 19 11:11:14 2025 +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 Isabelle2025 (March 2025) --------------------------------