| changeset 78388 | 475600ef98b8 |
| parent 78338 | c4cc276821d4 |
| child 78418 | bc62be4144e6 |
--- a/NEWS Mon Jul 17 21:41:14 2023 +0200 +++ b/NEWS Tue Jul 18 11:39:43 2023 +0200 @@ -4,8 +4,8 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) -New in Isabelle2023 (August 2023) ---------------------------------- +New in Isabelle2023 (September 2023) +------------------------------------ *** General ***