--- 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 ()