| changeset 78590 | a999bb19ed1e |
| parent 78587 | 12aac1489f3b |
| parent 78513 | f467ff4aa8f9 |
| child 78621 | 931f819728df |
--- a/NEWS Sun Aug 27 19:07:12 2023 +0200 +++ b/NEWS Sun Aug 27 19:14:04 2023 +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 Isabelle2023 (September 2023) ------------------------------------