Admin/MacOS/App2/README
author wenzelm
Sun, 30 Jan 2011 13:02:18 +0100
changeset 41648 6d736d983d5c
parent 31925 569b7fae5206
permissions -rw-r--r--
clarified example settings for Proof General;

Isabelle/JVM application bundle for MacOS
=========================================

* http://developer.apple.com/documentation/Java/Conceptual/Java14Development/03-JavaDeployment/JavaDeployment.html

* http://developer.apple.com/documentation/Java/Reference/Java_InfoplistRef/Articles/JavaDictionaryInfo.plistKeys.html#//apple_ref/doc/uid/TP40001969