author | Walther Neuper <wneuper@ist.tugraz.at> |
Thu, 23 Aug 2018 17:23:11 +0200 | |
changeset 59459 | a6ad1f2cbe21 |
parent 59451 | 71b442e82416 |
permissions | -rw-r--r-- |
1 # Java runtime options
2 -server
3 -Dfile.encoding=UTF-8
4 -Disabelle.threads=0
5 -Duser.language=en
6 -Dawt.useSystemAAFontSettings=on
7 -Dswing.aatext=true
8 -Dapple.laf.useScreenMenuBar=true
9 -Dapple.awt.application.name=Isabelle
10 -Xms512m
11 -Xmx2560m
12 -Xss8m
13 -Disabelle.jedit_server=Isabelle2018