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