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.
enforce syntax of Scala 3;
authorwenzelm
Sun, 16 May 2021 23:22:03 +0200
changeset 73710 241cfa881788
parent 73704 7c7a59b76528
child 73711 5833b556b3b5
enforce syntax of Scala 3;
etc/settings file | annotate | diff | comparison | revisions
src/Pure/ROOT.scala file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sun May 16 19:37:15 2021 +0200
+++ b/etc/settings	Sun May 16 23:22:03 2021 +0200
@@ -16,7 +16,7 @@
 
 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
 
-ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -Wconf:cat=other-match-analysis:silent -feature -deprecation -target:11 -J-Xms512m -J-Xmx4g -J-Xss16m"
+ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -Wconf:cat=other-match-analysis:silent -feature -deprecation -target:11 -Xsource:3 -J-Xms512m -J-Xmx4g -J-Xss16m"
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
 
--- a/src/Pure/ROOT.scala	Sun May 16 19:37:15 2021 +0200
+++ b/src/Pure/ROOT.scala	Sun May 16 23:22:03 2021 +0200
@@ -21,4 +21,3 @@
   val proper_string = Library.proper_string _
   def proper_list[A](list: List[A]): Option[List[A]] = Library.proper_list(list)
 }
-
isabelle