changeset 73136 | ca17e9ebfdf1 |
parent 73092 | 131ab1a941dd |
child 73180 | 14f8db6746cb |
--- a/etc/settings Sat Jan 16 19:25:20 2021 +0100 +++ b/etc/settings Sat Jan 16 22:52:43 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 -Xmax-classfile-name 130 -J-Xms512m -J-Xmx4g -J-Xss16m" +ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -J-Xms512m -J-Xmx4g -J-Xss16m" classpath "$ISABELLE_HOME/lib/classes/Pure.jar"