Admin/MacOS/Info.plist-part1
author wenzelm
Mon Oct 02 19:28:18 2017 +0200 (21 months ago)
changeset 66757 e32750d7acb4
parent 61184 554bba935af1
permissions -rw-r--r--
added command 'external_file';
     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.{ISABELLE_NAME}</string>
    13 <key>CFBundleDisplayName</key>
    14 <string>{ISABELLE_NAME}</string>
    15 <key>CFBundleInfoDictionaryVersion</key>
    16 <string>6.0</string>
    17 <key>CFBundleName</key>
    18 <string>{ISABELLE_NAME}</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>LSMinimumSystemVersion</key>
    30 <string>10.7</string>
    31 <key>LSApplicationCategoryType</key>
    32 <string>public.app-category.developer-tools</string>
    33 <key>NSHighResolutionCapable</key>
    34 <string>true</string>
    35 <key>NSSupportsAutomaticGraphicsSwitching</key>
    36 <string>true</string>
    37 <key>JVMRuntime</key>
    38 <string>bundled.jdk</string>
    39 <key>JVMMainClassName</key>
    40 <string>isabelle.Main</string>
    41 <key>CFBundleDocumentTypes</key>
    42 <array>
    43 <dict>
    44 <key>CFBundleTypeExtensions</key>
    45 <array>
    46 <string>thy</string>
    47 </array>
    48 <key>CFBundleTypeIconFile</key>
    49 <string>theory.icns</string>
    50 <key>CFBundleTypeName</key>
    51 <string>Isabelle theory file</string>
    52 <key>CFBundleTypeRole</key>
    53 <string>Editor</string>
    54 <key>LSTypeIsPackage</key>
    55 <false/>
    56 </dict>
    57 </array>
    58 <key>JVMOptions</key>
    59 <array>