Isabelle2017.options32
author Walther Neuper <wneuper@ist.tugraz.at>
Tue, 13 Mar 2018 09:09:14 +0100
changeset 59400 ef7885190ee8
parent 59324 ec559c6ab5ba
permissions -rw-r--r--
TermC: num_str was lost; re-established more than necessary; Test_Isac works
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