equal
deleted
inserted
replaced
1 <string>-Disabelle.root=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> |
1 <string>-Disabelle.root=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> |
2 <string>-Djava.ext.dirs=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}/contrib/jdk/x86_64-darwin/Contents/Home/jre/lib/ext</string> |
|
3 <string>-Disabelle.app=true</string> |
2 <string>-Disabelle.app=true</string> |
4 </array> |
3 </array> |
5 <key>JVMArguments</key> |
4 <key>JVMArguments</key> |
6 <array> |
5 <array> |
7 </array> |
6 </array> |