1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Isabelle2019.options	Tue Sep 03 16:10:31 2019 +0200
     1.3 @@ -0,0 +1,14 @@
     1.4 +# Java runtime options
     1.5 +-server
     1.6 +-Dfile.encoding=UTF-8
     1.7 +-Disabelle.threads=0
     1.8 +-Djdk.gtk.version=2.2
     1.9 +-Duser.language=en
    1.10 +-Dawt.useSystemAAFontSettings=on
    1.11 +-Dswing.aatext=true
    1.12 +-Dapple.laf.useScreenMenuBar=true
    1.13 +-Dapple.awt.application.name=Isabelle
    1.14 +-Xms512m
    1.15 +-Xmx2560m
    1.16 +-Xss8m
    1.17 +-Disabelle.jedit_server=Isabelle2019