Admin/MacOS/App2/README
author haftmann
Thu, 18 Nov 2010 17:01:15 +0100
changeset 40602 91e583511113
parent 31925 569b7fae5206
permissions -rw-r--r--
map_fun combinator in theory Fun
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