added template diff against newer mercurials, where the 'ago' duplication has been fixed
#!/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"