author | Walther Neuper <walther.neuper@jku.at> |
Thu, 17 Dec 2020 09:10:30 +0100 | |
changeset 60134 | 85ce6e27e130 |
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