wneuper/isa: Admin/MacOS/App3/Info.plist-part1@009d3bcf6907

     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>

author	wenzelm
	Mon, 09 Sep 2013 17:02:06 +0200
changeset 54625	009d3bcf6907
parent 54601	Admin/MacOS/App3/Info.plist@b363138c269c
permissions	-rw-r--r--