updated to jvm-1.8;
authorwenzelm
Sun Jan 15 16:42:37 2017 +0100 (2017-01-15 ago)
changeset 64902312aa8b92ea2
parent 64901 18e6f83e4a09
child 64903 ba72a13eb78c
updated to jvm-1.8;
etc/settings
     1.1 --- a/etc/settings	Sun Jan 15 16:30:49 2017 +0100
     1.2 +++ b/etc/settings	Sun Jan 15 16:42:37 2017 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  ### Isabelle/Scala
     1.5  ###
     1.6  
     1.7 -ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130"
     1.8 +ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130"
     1.9  
    1.10  ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
    1.11