lib/Tools/scala
author wenzelm
Sat Aug 16 14:29:25 2008 +0200 (2008-08-16)
changeset 27916 09b3010ffaf2
parent 27914 9a7f17370ffb
child 29143 72c960b2b83e
permissions -rwxr-xr-x
removed unused usage;
wenzelm@27914
     1
#!/usr/bin/env bash
wenzelm@27914
     2
#
wenzelm@27914
     3
# $Id$
wenzelm@27914
     4
# Author: Makarius
wenzelm@27914
     5
#
wenzelm@27916
     6
# DESCRIPTION: invoke Scala within the Isabelle environment
wenzelm@27914
     7
wenzelm@27914
     8
CLASSPATH="$(jvmpath "$CLASSPATH")"
wenzelm@27914
     9
exec "$ISABELLE_SCALA" "$@"