fix lambda-lifting: take level of bound variables into account and also apply bound variables from outer scope
#!/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"