diff -r 53626e34d1ca -r a33e5298aee6 lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Sat Mar 27 23:03:57 2021 +0100
+++ b/lib/scripts/getfunctions	Sun Mar 28 11:33:30 2021 +0200
@@ -32,7 +32,7 @@
 fi
 
 #OCaml management via OPAM
-function isabelle_opam()
+function isabelle_opam ()
 {
   if [ -z "$ISABELLE_OPAM" ]; then
     echo "Unknown ISABELLE_OPAM -- OCaml management tools unavailable" >&2
@@ -44,7 +44,7 @@
 export -f isabelle_opam
 
 #GHC management via Stack
-function isabelle_stack()
+function isabelle_stack ()
 {
   if [ -z "$ISABELLE_STACK" ]; then
     echo "Unknown ISABELLE_STACK -- GHC management tools unavailable" >&2