1# -*- shell-script -*- :mode=shellscript:
2
3ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
4
5ISABELLE_JENKINS_ROOT="https://ci.isabelle.systems/jenkins"
6