tuned whitespace;
authorwenzelm
Sun, 28 Mar 2021 11:33:30 +0200
changeset 73755 a33e5298aee6
parent 73754 53626e34d1ca
child 73756 f026a9a0a43f
tuned whitespace;
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