clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
Isabelle/JVM application bundle for Mac OS X
============================================
* http://java.net/projects/appbundler
see appbundler-1.0.jar
see com/oracle/appbundler/JavaAppLauncher