| author | Walther Neuper <walther.neuper@jku.at> |
| Fri, 12 Jun 2020 11:41:57 +0200 | |
| changeset 60020 | 2d962612dd0a |
| parent 59606 | c3925099d59f |
| 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=Isabelle2019