# HG changeset patch # User wenzelm # Date 1693423132 -7200 # Node ID 931f819728dfc86576a7383ef3459ba64c829a35 # Parent 6a9c5ea774e87dd51aa83b3aa56a520a4d6794f2 NEWS; diff -r 6a9c5ea774e8 -r 931f819728df NEWS --- a/NEWS Wed Aug 30 21:03:30 2023 +0200 +++ b/NEWS Wed Aug 30 21:18:52 2023 +0200 @@ -7,6 +7,11 @@ New in this Isabelle version ---------------------------- +*** System *** + +* Isabelle/Scala and derived Scala tools now use the syntax of Scala 3.3 +(the "-old-syntax" variant). Minor INCOMPATIBILITY. + New in Isabelle2023 (September 2023)