Admin/MacOS/App2/README
author berghofe
Mon, 23 Jul 2012 18:52:10 +0200
changeset 48453 2421ff8c57a5
parent 31925 569b7fae5206
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
Isabelle/JVM application bundle for MacOS
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset
     2
=========================================
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset
     3
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset
     4
* http://developer.apple.com/documentation/Java/Conceptual/Java14Development/03-JavaDeployment/JavaDeployment.html
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset
     5
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset
     6
* http://developer.apple.com/documentation/Java/Reference/Java_InfoplistRef/Articles/JavaDictionaryInfo.plistKeys.html#//apple_ref/doc/uid/TP40001969
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset
     7