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