Admin/MacOS/Info.plist-part1
author blanchet
Mon, 19 May 2014 23:43:53 +0200
changeset 57005 33f3d2ea803d
parent 54392 f14791d4f08d
child 57624 a7acd2d8c2fb
permissions -rw-r--r--
store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution
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>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    12
<string>de.tum.in.isabelle</string>
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>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    29
<key>LSApplicationCategoryType</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    30
<string>public.app-category.developer-tools</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    31
<key>JVMRuntime</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    32
<string>jdk</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    33
<key>JVMMainClassName</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    34
<string>isabelle.Main</string>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    35
<key>JVMOptions</key>
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    36
<array>