equal
deleted
inserted
replaced
32 <string>jdk</string> |
32 <string>jdk</string> |
33 <key>JVMMainClassName</key> |
33 <key>JVMMainClassName</key> |
34 <string>isabelle.Main</string> |
34 <string>isabelle.Main</string> |
35 <key>JVMOptions</key> |
35 <key>JVMOptions</key> |
36 <array> |
36 <array> |
37 <string>-Dapple.laf.useScreenMenuBar=true</string> |
37 <string>-Dapple.laf.useScreenMenuBar=true -Xms128m -Xmx1024m -Xss2m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false</string> |
38 <string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> |
38 <string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> |
39 </array> |
39 </array> |
40 <key>JVMArguments</key> |
40 <key>JVMArguments</key> |
41 <array> |
41 <array> |
42 </array> |
42 </array> |