| author | Walther Neuper <walther.neuper@jku.at> |
| Tue, 13 Apr 2021 13:20:05 +0200 | |
| changeset 60189 | 6b021e8cb8da |
| 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