Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace;
authorwenzelm
Sun, 28 Mar 2021 11:33:30 +0200
changeset 73500 a33e5298aee6
parent 73499 53626e34d1ca
child 73501 f026a9a0a43f
tuned whitespace;
lib/scripts/getfunctions file | annotate | diff | comparison | revisions 
--- 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
isabelle