diff -r 0b0680016187 -r 6f4d561ea621 lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Wed Oct 17 16:53:45 2018 +0200
+++ b/lib/scripts/getfunctions	Wed Oct 17 20:06:19 2018 +0200
@@ -37,6 +37,18 @@
 }
 export -f isabelle_opam
 
+#Haskell management via Stack
+function isabelle_stack()
+{
+  if [ -z "$ISABELLE_STACK" ]; then
+    echo "Unknown ISABELLE_STACK -- Haskell management tools unavailable" >&2
+    return 127
+  else
+    env STACK_ROOT="$(platform_path "$ISABELLE_STACK_ROOT")" "$ISABELLE_STACK" "$@"
+  fi
+}
+export -f isabelle_stack
+
 #robust invocation via ISABELLE_JDK_HOME
 function isabelle_jdk ()
 {