| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Wed, 22 Aug 2018 12:47:53 +0200 | |
| changeset 59450 | 9797318ac4b5 |
| parent 59324 | ec559c6ab5ba |
| permissions | -rw-r--r-- |
1 # Java runtime options for 64bit platform
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=Isabelle2017