# HG changeset patch
# User wenzelm
# Date 1693424093 -7200
# Node ID c42f316f0a01308cfffc3561897797c812dc7506
# Parent  931f819728dfc86576a7383ef3459ba64c829a35
tuned NEWS;

diff -r 931f819728df -r c42f316f0a01 NEWS
--- a/NEWS	Wed Aug 30 21:18:52 2023 +0200
+++ b/NEWS	Wed Aug 30 21:34:53 2023 +0200
@@ -9,8 +9,9 @@
 
 *** System ***
 
-* Isabelle/Scala and derived Scala tools now use the syntax of Scala 3.3
-(the "-old-syntax" variant). Minor INCOMPATIBILITY.
+* Isabelle/Scala and derived Scala tools now use the syntax of Scala
+3.3, instead of 3.1. This is the "-old-syntax" variant (Java-like) as
+before, not "-new-syntax" (Python-like). Minor INCOMPATIBILITY.