1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/Isabelle.options Wed Sep 23 15:18:07 2020 +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=Isabelle2020