| changeset 79059 | ae682b2aab03 |
| parent 78627 | fa18208fd7bd |
| child 79556 | 0631dfc0db07 |
--- 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