diff -r f13390b2c1ee -r ae682b2aab03 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Sat Nov 25 16:13:08 2023 +0100
+++ b/lib/scripts/getsettings	Sat Nov 25 16:49:48 2023 +0100
@@ -59,7 +59,6 @@
 
 #main executables
 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
-ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
 PATH="$ISABELLE_HOME/bin:$PATH"
 
 #platform