# HG changeset patch
# User wenzelm
# Date 1539805060 -7200
# Node ID 545b688437090a8fd89282ab2cd4f7b0c3392d40
# Parent  8c501c406d24a0869a27b3a7c7a65ab216ff53c9
tuned;

diff -r 8c501c406d24 -r 545b68843709 lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Wed Oct 17 21:36:57 2018 +0200
+++ b/lib/scripts/getfunctions	Wed Oct 17 21:37:40 2018 +0200
@@ -37,11 +37,11 @@
 }
 export -f isabelle_opam
 
-#Haskell management via Stack
+#GHC management via Stack
 function isabelle_stack()
 {
   if [ -z "$ISABELLE_STACK" ]; then
-    echo "Unknown ISABELLE_STACK -- Haskell management tools unavailable" >&2
+    echo "Unknown ISABELLE_STACK -- GHC management tools unavailable" >&2
     return 127
   else
     env STACK_ROOT="$(platform_path "$ISABELLE_STACK_ROOT")" "$ISABELLE_STACK" "$@"