lib/Tools/java
author wenzelm
Mon, 22 Mar 2010 20:58:52 +0100
changeset 35898 c890a3835d15
parent 29143 72c960b2b83e
child 36212 ebfa4bb0d50f
permissions -rwxr-xr-x
recovered header;

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: invoke Java within the Isabelle environment

CLASSPATH="$(jvmpath "$CLASSPATH")"
exec "$ISABELLE_JAVA" "$@"