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