Admin/MacOS/Info.plist-part1
author blanchet
Mon May 19 13:53:58 2014 +0200 (2014-05-19)
changeset 56995 61855ade6c7e
parent 54392 f14791d4f08d
child 57624 a7acd2d8c2fb
permissions -rw-r--r--
hide more consts to beautify documentation
     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_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>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>