author | paulson |
Thu, 14 Jun 2018 14:23:48 +0100 | |
changeset 68446 | 92ddca1edc43 |
parent 67490 | 982f0bf34804 |
child 69126 | e1b4b14ded58 |
permissions | -rw-r--r-- |
<string>-Disabelle.root=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> <string>-Djava.ext.dirs=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}/contrib/jdk/x86_64-darwin/Contents/Home/jre/lib/ext</string> <string>-Disabelle.app=true</string> </array> <key>JVMArguments</key> <array> </array> </dict> </plist>