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-- |
walther@60065 | 1 |
# Java runtime options |
walther@60065 | 2 |
-server |
walther@60065 | 3 |
-Dfile.encoding=UTF-8 |
walther@60065 | 4 |
-Disabelle.threads=0 |
walther@60065 | 5 |
-Duser.language=en |
walther@60065 | 6 |
-Dawt.useSystemAAFontSettings=on |
walther@60065 | 7 |
-Dswing.aatext=true |
walther@60065 | 8 |
-Dapple.laf.useScreenMenuBar=true |
walther@60166 | 9 |
-Dapple.awt.application.name=Isabelle2021 |
walther@60065 | 10 |
-Xms512m |
walther@60166 | 11 |
-Xmx4g |
walther@60166 | 12 |
-Xss16m |
walther@60166 | 13 |
-Disabelle.jedit_server=Isabelle2021 |