# HG changeset patch # User wenzelm # Date 1613849010 -3600 # Node ID f0446b3e4d176c11d8db68d4cdfb478912d2cedd # Parent 3edb1592cad6aa2a989af84c37cf92e8be05f25c clarified compiler options; diff -r 3edb1592cad6 -r f0446b3e4d17 etc/settings --- a/etc/settings Sat Feb 20 20:10:09 2021 +0100 +++ b/etc/settings Sat Feb 20 20:23:30 2021 +0100 @@ -16,7 +16,7 @@ ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m" -ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -J-Xms512m -J-Xmx4g -J-Xss16m" +ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:11 -J-Xms512m -J-Xmx4g -J-Xss16m" classpath "$ISABELLE_HOME/lib/classes/Pure.jar" diff -r 3edb1592cad6 -r f0446b3e4d17 src/Pure/ROOT.scala --- a/src/Pure/ROOT.scala Sat Feb 20 20:10:09 2021 +0100 +++ b/src/Pure/ROOT.scala Sat Feb 20 20:23:30 2021 +0100 @@ -21,4 +21,3 @@ val proper_string = Library.proper_string _ def proper_list[A](list: List[A]): Option[List[A]] = Library.proper_list(list) } -