diff -r cf443b24ad90 -r 5894859c5c84 lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Mon Aug 17 12:35:03 2020 +0200
+++ b/lib/scripts/getfunctions	Mon Aug 17 13:16:42 2020 +0200
@@ -160,6 +160,22 @@
 }
 export -f isabelle_scala_service
 
+#Special directories
+function isabelle_directory ()
+{
+  local X=""
+  for X in "$@"
+  do
+    if [ -z "$ISABELLE_DIRECTORIES" ]; then
+      ISABELLE_DIRECTORIES="$X"
+    else
+      ISABELLE_DIRECTORIES="$ISABELLE_DIRECTORIES:$X"
+    fi
+  done
+  export ISABELLE_DIRECTORIES
+}
+export -f isabelle_directory
+
 #administrative build
 if [ -e "$ISABELLE_HOME/Admin/build" ]; then
   function isabelle_admin_build ()