lib/Tools/scala

--- a/lib/Tools/scala	Tue Jan 30 22:43:10 2024 +0100
+++ b/lib/Tools/scala	Wed Jan 31 12:43:06 2024 +0100
@@ -12,8 +12,10 @@
 export jvm_cp_args="$(platform_path "$ISABELLE_CLASSPATH")"
 export JAVA_OPTS="$ISABELLE_JAVA_SYSTEM_OPTIONS -J-Dscala.usejavacp=true"
 
-if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
-  export TERM=dumb
+case "$ISABELLE_PLATFORM_FAMILY" in
+  windows*)
+    export TERM=dumb
+    ;;
 fi
 
 isabelle_scala scala $ISABELLE_SCALAC_OPTIONS "$@"