more robust caret painting wrt. surrogate characters;
discontinued glyphvector drawing -- less special cases;
#!/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"