| author | Walther Neuper <walther.neuper@jku.at> |
| Mon, 08 Mar 2021 08:42:05 +0100 | |
| changeset 60165 | 15aacd3ddb41 |
| parent 60065 | 46266dc209cd |
| child 60166 | 7d6f46b7fc10 |
| 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=Isabelle2020