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;
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Makarius
     5 #
     6 # DESCRIPTION: invoke Scala within the Isabelle environment
     7 
     8 CLASSPATH="$(jvmpath "$CLASSPATH")"
     9 exec "$ISABELLE_SCALA" "$@"