1.1 Binary file doc/fonts/IsabelleText.ttf has changed
2.1 --- a/etc/settings Fri Jan 19 16:03:20 2018 +0100
2.2 +++ b/etc/settings Sat Jan 20 10:56:23 2018 +0100
2.3 @@ -12,7 +12,7 @@
2.4 ### Isabelle/Scala
2.5 ###
2.6
2.7 -ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130"
2.8 +ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130 -J-Xms128m -J-Xmx1024m -J-Xss2m"
2.9
2.10 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
2.11
2.12 @@ -38,7 +38,6 @@
2.13 ###
2.14
2.15 ISABELLE_BUILD_OPTIONS=""
2.16 -ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xmx1024m -Xss1m"
2.17
2.18
2.19 ###
2.20 @@ -56,7 +55,7 @@
2.21 ### Misc path settings
2.22 ###
2.23
2.24 -ISABELLE_COMPONENT_REPOSITORY="http://isabelle.in.tum.de/components"
2.25 +ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components"
2.26
2.27 # The place for user configuration, heap files, etc.
2.28 if [ -z "$ISABELLE_IDENTIFIER" ]; then
2.29 @@ -119,25 +118,18 @@
2.30
2.31
2.32 ###
2.33 -### Rendering information
2.34 +### Symbol rendering
2.35 ###
2.36
2.37 -ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf"
2.38 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
2.39
2.40
2.41 ###
2.42 -### Misc old-style settings
2.43 +### Misc settings
2.44 ###
2.45
2.46 -# Standard ML of New Jersey (slow!)
2.47 -#ML_SYSTEM=smlnj-110
2.48 -#ML_HOME="/usr/local/smlnj/bin"
2.49 -#ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024"
2.50 -#ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
2.51 -#SMLNJ_CYGWIN_RUNTIME=1
2.52 +ISABELLE_GNUPLOT="gnuplot"
2.53
2.54 -# Misc programming languages
2.55 #ISABELLE_GHC="/usr/bin/ghc"
2.56 #ISABELLE_OCAML="/usr/bin/ocaml"
2.57 #ISABELLE_SWIPL="/usr/bin/swipl"