avoid conflict with slf4j from sqlite (see also dcddfe4f43a3), notably this message on "isabelle find_facts":
SLF4J(W): Class path contains multiple SLF4J providers.
SLF4J(W): Found provider [org.slf4j.nop.NOPServiceProvider@1576514a]
SLF4J(W): Found provider [org.apache.logging.slf4j.SLF4JServiceProvider@6a84d4e3]
SLF4J(W): See https://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J(I): Actual provider is of type [org.slf4j.nop.NOPServiceProvider@1576514a]
#!/usr/bin/env bash
#
# Author: Florian Haftmann, TU Muenchen
#
# DESCRIPTION: mercurial churn statistics for specified aliases file
ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}"
shift
cd "$(dirname "$ALIAS")"
export LANG=C
export HGPLAIN=
"${HG:-hg}" churn --aliases "$ALIAS" "$@"