--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App3/README	Sat Feb 23 21:07:44 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
+