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)