Admin/MacOS/Info.plist-part1
author wenzelm
Fri Nov 03 19:20:47 2017 +0100 (23 months ago)
changeset 66997 17eb23e43630
parent 61184 554bba935af1
permissions -rw-r--r--
avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
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@61183
    12
<string>de.tum.in.isabelle.{ISABELLE_NAME}</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@61183
    29
<key>LSMinimumSystemVersion</key>
wenzelm@61183
    30
<string>10.7</string>
wenzelm@51257
    31
<key>LSApplicationCategoryType</key>
wenzelm@51257
    32
<string>public.app-category.developer-tools</string>
wenzelm@57624
    33
<key>NSHighResolutionCapable</key>
wenzelm@57624
    34
<string>true</string>
wenzelm@61183
    35
<key>NSSupportsAutomaticGraphicsSwitching</key>
wenzelm@61183
    36
<string>true</string>
wenzelm@51257
    37
<key>JVMRuntime</key>
wenzelm@61184
    38
<string>bundled.jdk</string>
wenzelm@51257
    39
<key>JVMMainClassName</key>
wenzelm@51257
    40
<string>isabelle.Main</string>
wenzelm@61183
    41
<key>CFBundleDocumentTypes</key>
wenzelm@61183
    42
<array>
wenzelm@61183
    43
<dict>
wenzelm@61183
    44
<key>CFBundleTypeExtensions</key>
wenzelm@61183
    45
<array>
wenzelm@61183
    46
<string>thy</string>
wenzelm@61183
    47
</array>
wenzelm@61183
    48
<key>CFBundleTypeIconFile</key>
wenzelm@61183
    49
<string>theory.icns</string>
wenzelm@61183
    50
<key>CFBundleTypeName</key>
wenzelm@61183
    51
<string>Isabelle theory file</string>
wenzelm@61183
    52
<key>CFBundleTypeRole</key>
wenzelm@61183
    53
<string>Editor</string>
wenzelm@61183
    54
<key>LSTypeIsPackage</key>
wenzelm@61183
    55
<false/>
wenzelm@61183
    56
</dict>
wenzelm@61183
    57
</array>
wenzelm@51257
    58
<key>JVMOptions</key>
wenzelm@51257
    59
<array>