lib/Tools/scala
author wenzelm
Thu Apr 24 00:29:55 2014 +0200 (2014-04-24)
changeset 56686 2386d1a3ca8f
parent 53576 793a429c63e7
child 59894 ca16b657901f
permissions -rwxr-xr-x
canonical list operations, as in ML;
avoid odd mutable data structures;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke Scala within the Isabelle environment
     6 
     7 isabelle_admin_build jars || exit $?
     8 
     9 isabelle_scala scala -Dfile.encoding=UTF-8 \
    10   -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"
    11