| author | Walther Neuper <walther.neuper@jku.at> |
| Mon, 31 Aug 2020 12:05:37 +0200 | |
| changeset 60055 | aedf1d7ff850 |
| parent 59606 | c3925099d59f |
| permissions | -rw-r--r-- |
| walther@59606 | 1 |
# Java runtime options |
| walther@59606 | 2 |
-server |
| walther@59606 | 3 |
-Dfile.encoding=UTF-8 |
| walther@59606 | 4 |
-Disabelle.threads=0 |
| walther@59606 | 5 |
-Djdk.gtk.version=2.2 |
| walther@59606 | 6 |
-Duser.language=en |
| walther@59606 | 7 |
-Dawt.useSystemAAFontSettings=on |
| walther@59606 | 8 |
-Dswing.aatext=true |
| walther@59606 | 9 |
-Dapple.laf.useScreenMenuBar=true |
| walther@59606 | 10 |
-Dapple.awt.application.name=Isabelle |
| walther@59606 | 11 |
-Xms512m |
| walther@59606 | 12 |
-Xmx2560m |
| walther@59606 | 13 |
-Xss8m |
| walther@59606 | 14 |
-Disabelle.jedit_server=Isabelle2019 |