lib/Tools/java
author wenzelm
Sat Jul 25 10:31:27 2009 +0200 (2009-07-25)
changeset 32187 cca43ca13f4f
parent 29143 72c960b2b83e
child 36212 ebfa4bb0d50f
permissions -rwxr-xr-x
renamed structure Display_Goal to Goal_Display;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke Java within the Isabelle environment
     6 
     7 CLASSPATH="$(jvmpath "$CLASSPATH")"
     8 exec "$ISABELLE_JAVA" "$@"