diff -r c13198575f75 -r b4f57bfe82e7 lib/Tools/scala
--- a/lib/Tools/scala	Sat Jul 17 23:09:54 2021 +0200
+++ b/lib/Tools/scala	Sun Jul 18 12:48:31 2021 +0200
@@ -4,7 +4,7 @@
 #
 # DESCRIPTION: invoke Scala within the Isabelle environment
 
-isabelle_scala_build || exit $?
+isabelle scala_build || exit $?
 
 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
 declare -a SCALA_ARGS=()