| author | Walther Neuper <walther.neuper@jku.at> |
| Mon, 15 Mar 2021 10:04:17 +0100 | |
| changeset 60174 | 21d482c9ab68 |
| parent 60166 | 7d6f46b7fc10 |
| 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=Isabelle2021
10 -Xms512m
11 -Xmx4g
12 -Xss16m
13 -Disabelle.jedit_server=Isabelle2021