Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/MacOS/Info.plist-part1
author wenzelm
Sat, 03 Nov 2018 20:09:39 +0100
changeset 69227 71b48b749836
parent 61184 554bba935af1
permissions -rw-r--r--
tuned message (e.g. see Options.save_prefs);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
51257
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
     1
 
<?xml version="1.0" ?>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
     2
 
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
     3
 
<plist version="1.0">
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
     4
 
<dict>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
     5
 
<key>CFBundleDevelopmentRegion</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
     6
 
<string>English</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
     7
 
<key>CFBundleExecutable</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
     8
 
<string>JavaAppLauncher</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
     9
 
<key>CFBundleIconFile</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    10
 
<string>isabelle.icns</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    11
 
<key>CFBundleIdentifier</key>
61183
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    12
 
<string>de.tum.in.isabelle.{ISABELLE_NAME}</string>
51257
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    13
 
<key>CFBundleDisplayName</key>
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 51257
diff changeset 
    14
 
<string>{ISABELLE_NAME}</string>
51257
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    15
 
<key>CFBundleInfoDictionaryVersion</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    16
 
<string>6.0</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    17
 
<key>CFBundleName</key>
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 51257
diff changeset 
    18
 
<string>{ISABELLE_NAME}</string>
51257
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    19
 
<key>CFBundlePackageType</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    20
 
<string>APPL</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    21
 
<key>CFBundleShortVersionString</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    22
 
<string>1.0</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    23
 
<key>CFBundleSignature</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    24
 
<string>????</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    25
 
<key>CFBundleVersion</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    26
 
<string>1</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    27
 
<key>NSHumanReadableCopyright</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    28
 
<string></string>
61183
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    29
 
<key>LSMinimumSystemVersion</key>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    30
 
<string>10.7</string>
51257
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    31
 
<key>LSApplicationCategoryType</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    32
 
<string>public.app-category.developer-tools</string>
57624
a7acd2d8c2fb enable hires explictly, as seen for other high-end Java applications on the Web;
wenzelm
parents: 54392
diff changeset 
    33
 
<key>NSHighResolutionCapable</key>
a7acd2d8c2fb enable hires explictly, as seen for other high-end Java applications on the Web;
wenzelm
parents: 54392
diff changeset 
    34
 
<string>true</string>
61183
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    35
 
<key>NSSupportsAutomaticGraphicsSwitching</key>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    36
 
<string>true</string>
51257
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    37
 
<key>JVMRuntime</key>
61184
554bba935af1 more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher;
wenzelm
parents: 61183
diff changeset 
    38
 
<string>bundled.jdk</string>
51257
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    39
 
<key>JVMMainClassName</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    40
 
<string>isabelle.Main</string>
61183
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    41
 
<key>CFBundleDocumentTypes</key>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    42
 
<array>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    43
 
<dict>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    44
 
<key>CFBundleTypeExtensions</key>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    45
 
<array>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    46
 
<string>thy</string>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    47
 
</array>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    48
 
<key>CFBundleTypeIconFile</key>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    49
 
<string>theory.icns</string>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    50
 
<key>CFBundleTypeName</key>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    51
 
<string>Isabelle theory file</string>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    52
 
<key>CFBundleTypeRole</key>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    53
 
<string>Editor</string>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    54
 
<key>LSTypeIsPackage</key>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    55
 
<false/>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    56
 
</dict>
de767684bb33 more app properties glimpsed from infinitekind/Moneydance 2015.5;
wenzelm
parents: 57624
diff changeset 
    57
 
</array>
51257
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    58
 
<key>JVMOptions</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset 
    59
 
<array>
isabelle