| changeset 78143 | 7ea4f986e41a |
| parent 78142 | a502d7e06855 |
| child 78149 | d3122089b67c |
--- a/NEWS Wed Jun 07 11:40:24 2023 +0200 +++ b/NEWS Wed Jun 07 13:02:40 2023 +0200 @@ -4,8 +4,8 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) -New in this Isabelle version ----------------------------- +New in Isabelle2023 (August 2023) +--------------------------------- *** General ***