equal
deleted
inserted
replaced
|
1 <?xml version="1.0" ?> |
|
2 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> |
|
3 <plist version="1.0"> |
|
4 <dict> |
|
5 <key>CFBundleDevelopmentRegion</key> |
|
6 <string>English</string> |
|
7 <key>CFBundleExecutable</key> |
|
8 <string>JavaAppLauncher</string> |
|
9 <key>CFBundleIconFile</key> |
|
10 <string>isabelle.icns</string> |
|
11 <key>CFBundleIdentifier</key> |
|
12 <string>de.tum.in.isabelle</string> |
|
13 <key>CFBundleDisplayName</key> |
|
14 <string>Isabelle</string> |
|
15 <key>CFBundleInfoDictionaryVersion</key> |
|
16 <string>6.0</string> |
|
17 <key>CFBundleName</key> |
|
18 <string>Isabelle</string> |
|
19 <key>CFBundlePackageType</key> |
|
20 <string>APPL</string> |
|
21 <key>CFBundleShortVersionString</key> |
|
22 <string>1.0</string> |
|
23 <key>CFBundleSignature</key> |
|
24 <string>????</string> |
|
25 <key>CFBundleVersion</key> |
|
26 <string>1</string> |
|
27 <key>NSHumanReadableCopyright</key> |
|
28 <string></string> |
|
29 <key>LSApplicationCategoryType</key> |
|
30 <string>public.app-category.developer-tools</string> |
|
31 <key>JVMRuntime</key> |
|
32 <string>jdk</string> |
|
33 <key>JVMMainClassName</key> |
|
34 <string>isabelle.Main</string> |
|
35 <key>JVMOptions</key> |
|
36 <array> |
|
37 <string>-Dapple.laf.useScreenMenuBar=true</string> |
|
38 <string>-Disabelle.home=$APP_ROOT/Isabelle</string> |
|
39 </array> |
|
40 <key>JVMArguments</key> |
|
41 <array> |
|
42 </array> |
|
43 </dict> |
|
44 </plist> |
|
45 |