changeset 76244 | 6ab4bb7cb8b2 |
parent 76229 | 6ee5306d143a |
child 76253 | 08f555c6f3b5 |
--- a/NEWS Sun Oct 02 17:41:34 2022 +0200 +++ b/NEWS Sun Oct 02 18:22:49 2022 +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 Isabelle2022 (October 2022) ----------------------------------