equal
deleted
inserted
replaced
|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <!DOCTYPE plist PUBLIC "-//Apple Computer//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>Isabelle</string> |
|
9 <key>CFBundleGetInfoString</key> |
|
10 <string>Isabelle</string> |
|
11 <key>CFBundleIconFile</key> |
|
12 <string>isabelle.icns</string> |
|
13 <key>CFBundleIdentifier</key> |
|
14 <string>de.tum.in.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>2009</string> |
|
23 <key>CFBundleSignature</key> |
|
24 <string>????</string> |
|
25 <key>CFBundleVersion</key> |
|
26 <string>2009</string> |
|
27 <key>Java</key> |
|
28 <dict> |
|
29 <key>JVMVersion</key> |
|
30 <string>1.5+</string> |
|
31 <key>VMOptions</key> |
|
32 <string>-Xmx384M</string> |
|
33 <key>ClassPath</key> |
|
34 <string>$JAVAROOT/isabelle-scala.jar</string> |
|
35 <key>MainClass</key> |
|
36 <string>isabelle.GUI_Setup</string> |
|
37 <key>Properties</key> |
|
38 <dict> |
|
39 <key>isabelle.home</key> |
|
40 <string>$APP_PACKAGE/Contents/Resources/Isabelle</string> |
|
41 <key>apple.laf.useScreenMenuBar</key> |
|
42 <string>true</string> |
|
43 </dict> |
|
44 </dict> |
|
45 </dict> |
|
46 </plist> |