make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski;
#!/bin/bash
#
# Make Isabelle/JVM application bundle
THIS="$(cd "$(dirname "$0")"; pwd)"
APP="$THIS/Isabelle.app"
mkdir -p "$APP/Contents/Resources/Java"
cp "$THIS/../../../lib/classes/isabelle-scala.jar" "$APP/Contents/Resources/Java"
cp "$THIS/../isabelle.icns" "$APP/Contents/Resources"