1.1 --- a/etc/settings	Fri Jan 19 16:03:20 2018 +0100
     1.2 +++ b/etc/settings	Sat Jan 20 10:56:23 2018 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  ### Isabelle/Scala
     1.5  ###
     1.6  
     1.7 -ISABELLE_SCALA_BUILD_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 -J-Xms128m -J-Xmx1024m -J-Xss2m"
     1.9  
    1.10  ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
    1.11  
    1.12 @@ -38,7 +38,6 @@
    1.13  ###
    1.14  
    1.15  ISABELLE_BUILD_OPTIONS=""
    1.16 -ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xmx1024m -Xss1m"
    1.17  
    1.18  
    1.19  ###
    1.20 @@ -56,7 +55,7 @@
    1.21  ### Misc path settings
    1.22  ###
    1.23  
    1.24 -ISABELLE_COMPONENT_REPOSITORY="http://isabelle.in.tum.de/components"
    1.25 +ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components"
    1.26  
    1.27  # The place for user configuration, heap files, etc.
    1.28  if [ -z "$ISABELLE_IDENTIFIER" ]; then
    1.29 @@ -119,25 +118,18 @@
    1.30  
    1.31  
    1.32  ###
    1.33 -### Rendering information
    1.34 +### Symbol rendering
    1.35  ###
    1.36  
    1.37 -ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf"
    1.38  ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
    1.39  
    1.40  
    1.41  ###
    1.42 -### Misc old-style settings
    1.43 +### Misc settings
    1.44  ###
    1.45  
    1.46 -# Standard ML of New Jersey (slow!)
    1.47 -#ML_SYSTEM=smlnj-110
    1.48 -#ML_HOME="/usr/local/smlnj/bin"
    1.49 -#ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024"
    1.50 -#ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    1.51 -#SMLNJ_CYGWIN_RUNTIME=1
    1.52 +ISABELLE_GNUPLOT="gnuplot"
    1.53  
    1.54 -# Misc programming languages
    1.55  #ISABELLE_GHC="/usr/bin/ghc"
    1.56  #ISABELLE_OCAML="/usr/bin/ocaml"
    1.57  #ISABELLE_SWIPL="/usr/bin/swipl"