Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned NEWS;
authorwenzelm
Wed, 30 Aug 2023 21:34:53 +0200
changeset 78622 c42f316f0a01
parent 78621 931f819728df
child 78643 d5a1d64a563d
tuned NEWS;
NEWS file | annotate | diff | comparison | revisions 
--- 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.
isabelle