Admin/MacOS/README
changeset 54392 f14791d4f08d
parent 51257 93ccf48a46b7
child 69411 7a1b7b737c02
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/README	Mon Nov 11 21:28:08 2013 +0100
@@ -0,0 +1,8 @@
+Isabelle/JVM application bundle for Mac OS X
+============================================
+
+* http://java.net/projects/appbundler
+
+  see appbundler-1.0.jar
+  see com/oracle/appbundler/JavaAppLauncher
+