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/App2/Isabelle.app/Contents/Info.plist
author berghofe
Mon, 23 Jul 2012 18:52:10 +0200
changeset 48453 2421ff8c57a5
parent 36986 942532de16f6
permissions -rw-r--r--
set_vcs now derives prefix from fully qualified procedure / function name
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31925
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     1
 
<?xml version="1.0" encoding="UTF-8"?>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     2
 
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     3
 
<plist version="1.0">
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     4
 
<dict>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     5
 
	<key>CFBundleDevelopmentRegion</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     6
 
	<string>English</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     7
 
	<key>CFBundleExecutable</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     8
 
	<string>Isabelle</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     9
 
	<key>CFBundleGetInfoString</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    10
 
	<string>Isabelle</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    11
 
	<key>CFBundleIconFile</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    12
 
	<string>isabelle.icns</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    13
 
	<key>CFBundleIdentifier</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    14
 
	<string>de.tum.in.isabelle</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    15
 
	<key>CFBundleInfoDictionaryVersion</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    16
 
	<string>6.0</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    17
 
	<key>CFBundleName</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    18
 
	<string>Isabelle</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    19
 
	<key>CFBundlePackageType</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    20
 
	<string>APPL</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    21
 
	<key>CFBundleShortVersionString</key>
36986
942532de16f6 some updates following src/Tools/jEdit/dist-template/settings;
wenzelm
parents: 31925
diff changeset 
    22
 
	<string>????</string>
31925
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    23
 
	<key>CFBundleSignature</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    24
 
	<string>????</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    25
 
	<key>CFBundleVersion</key>
36986
942532de16f6 some updates following src/Tools/jEdit/dist-template/settings;
wenzelm
parents: 31925
diff changeset 
    26
 
	<string>????</string>
31925
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    27
 
	<key>Java</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    28
 
	<dict>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    29
 
		<key>JVMVersion</key>
36986
942532de16f6 some updates following src/Tools/jEdit/dist-template/settings;
wenzelm
parents: 31925
diff changeset 
    30
 
		<string>1.6</string>
31925
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    31
 
		<key>VMOptions</key>
36986
942532de16f6 some updates following src/Tools/jEdit/dist-template/settings;
wenzelm
parents: 31925
diff changeset 
    32
 
		<string>-Xms128m -Xmx512m -Xss2m</string>
31925
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    33
 
		<key>ClassPath</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    34
 
		<string>$JAVAROOT/isabelle-scala.jar</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    35
 
		<key>MainClass</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    36
 
		<string>isabelle.GUI_Setup</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    37
 
		<key>Properties</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    38
 
		<dict>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    39
 
			<key>isabelle.home</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    40
 
			<string>$APP_PACKAGE/Contents/Resources/Isabelle</string>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    41
 
			<key>apple.laf.useScreenMenuBar</key>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    42
 
			<string>true</string>
36986
942532de16f6 some updates following src/Tools/jEdit/dist-template/settings;
wenzelm
parents: 31925
diff changeset 
    43
 
			<key>com.apple.mrj.application.apple.menu.about.name</key>
942532de16f6 some updates following src/Tools/jEdit/dist-template/settings;
wenzelm
parents: 31925
diff changeset 
    44
 
			<string>Isabelle</string>
31925
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    45
 
		</dict>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    46
 
	</dict>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    47
 
</dict>
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
    48
 
</plist>
isabelle