| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Thu, 15 Mar 2018 10:17:44 +0100 | |
| changeset 59405 | 49d7d410b83c |
| parent 59324 | ec559c6ab5ba |
| permissions | -rw-r--r-- |
| wneuper@59324 | 1 |
# Java runtime options for 32bit platform |
| wneuper@59324 | 2 |
-server |
| wneuper@59324 | 3 |
-Dfile.encoding=UTF-8 |
| wneuper@59324 | 4 |
-Disabelle.threads=0 |
| wneuper@59324 | 5 |
-Duser.language=en |
| wneuper@59324 | 6 |
-Dawt.useSystemAAFontSettings=on |
| wneuper@59324 | 7 |
-Dswing.aatext=true |
| wneuper@59324 | 8 |
-Dapple.laf.useScreenMenuBar=true |
| wneuper@59324 | 9 |
-Dapple.awt.application.name=Isabelle |
| wneuper@59324 | 10 |
-Xms128m |
| wneuper@59324 | 11 |
-Xmx1024m |
| wneuper@59324 | 12 |
-Xss4m |
| wneuper@59324 | 13 |
-Disabelle.jedit_server=Isabelle2017 |