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
wenzelm@51257
     1
<?xml version="1.0" ?>
wenzelm@51257
     2
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
wenzelm@51257
     3
<plist version="1.0">
wenzelm@51257
     4
<dict>
wenzelm@51257
     5
<key>CFBundleDevelopmentRegion</key>
wenzelm@51257
     6
<string>English</string>
wenzelm@51257
     7
<key>CFBundleExecutable</key>
wenzelm@51257
     8
<string>JavaAppLauncher</string>
wenzelm@51257
     9
<key>CFBundleIconFile</key>
wenzelm@51257
    10
<string>isabelle.icns</string>
wenzelm@51257
    11
<key>CFBundleIdentifier</key>
wenzelm@51257
    12
<string>de.tum.in.isabelle</string>
wenzelm@51257
    13
<key>CFBundleDisplayName</key>
wenzelm@52677
    14
<string>{ISABELLE_NAME}</string>
wenzelm@51257
    15
<key>CFBundleInfoDictionaryVersion</key>
wenzelm@51257
    16
<string>6.0</string>
wenzelm@51257
    17
<key>CFBundleName</key>
wenzelm@52677
    18
<string>{ISABELLE_NAME}</string>
wenzelm@51257
    19
<key>CFBundlePackageType</key>
wenzelm@51257
    20
<string>APPL</string>
wenzelm@51257
    21
<key>CFBundleShortVersionString</key>
wenzelm@51257
    22
<string>1.0</string>
wenzelm@51257
    23
<key>CFBundleSignature</key>
wenzelm@51257
    24
<string>????</string>
wenzelm@51257
    25
<key>CFBundleVersion</key>
wenzelm@51257
    26
<string>1</string>
wenzelm@51257
    27
<key>NSHumanReadableCopyright</key>
wenzelm@51257
    28
<string></string>
wenzelm@51257
    29
<key>LSApplicationCategoryType</key>
wenzelm@51257
    30
<string>public.app-category.developer-tools</string>
wenzelm@51257
    31
<key>JVMRuntime</key>
wenzelm@51257
    32
<string>jdk</string>
wenzelm@51257
    33
<key>JVMMainClassName</key>
wenzelm@51257
    34
<string>isabelle.Main</string>
wenzelm@51257
    35
<key>JVMOptions</key>
wenzelm@51257
    36
<array>