lib/Tools/scala

undo rewrite rules (e.g. for 'fun_app') in Isar

+
−#!/usr/bin/env bash
+
−#
+
−# Author: Makarius
+
−#
+
−# DESCRIPTION: invoke Scala within the Isabelle environment
+
−
+
−isabelle_admin_build jars || exit $?
+
−
+
−isabelle_scala scala -Dfile.encoding=UTF-8 \
+
−  -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"
+
−