# 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)