author | Walther Neuper <walther.neuper@jku.at> |
Mon, 18 May 2020 14:12:01 +0200 | |
changeset 59994 | c6546844dd26 |
parent 59606 | c3925099d59f |
permissions | -rw-r--r-- |
1 # Java runtime options
2 -server
3 -Dfile.encoding=UTF-8
4 -Disabelle.threads=0
5 -Djdk.gtk.version=2.2
6 -Duser.language=en
7 -Dawt.useSystemAAFontSettings=on
8 -Dswing.aatext=true
9 -Dapple.laf.useScreenMenuBar=true
10 -Dapple.awt.application.name=Isabelle
11 -Xms512m
12 -Xmx2560m
13 -Xss8m
14 -Disabelle.jedit_server=Isabelle2019