+−#!/usr/bin/env bash +−# +−# $Id$ +−# Author: Makarius +−# +−# DESCRIPTION: invoke Scala within the Isabelle environment +− +−CLASSPATH="$(jvmpath "$CLASSPATH")" +−exec "$ISABELLE_SCALA" "$@"