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 messages --- less SPAM;
authorwenzelm
Tue, 13 Oct 2020 18:55:04 +0200
changeset 72465 de11c745ebbc
parent 72464 b32eea5823c8
child 72466 04403e1ef176
tuned messages --- less SPAM;
lib/scripts/getfunctions file | annotate | diff | comparison | revisions 
--- a/lib/scripts/getfunctions	Tue Oct 13 17:34:15 2020 +0200
+++ b/lib/scripts/getfunctions	Tue Oct 13 18:55:04 2020 +0200
@@ -38,7 +38,7 @@
     echo "Unknown ISABELLE_OPAM -- OCaml management tools unavailable" >&2
     return 127
   else
-    env OPAMROOT="$ISABELLE_OPAM_ROOT" "$ISABELLE_OPAM" "$@"
+    env OPAMROOT="$ISABELLE_OPAM_ROOT" OPAMCOLOR="never" "$ISABELLE_OPAM" "$@"
   fi
 }
 export -f isabelle_opam
isabelle