author | haftmann |
Wed, 05 Apr 2017 13:47:40 +0200 | |
changeset 65389 | 6f9c6ae27984 |
parent 63646 | 74604a9fc4c8 |
permissions | -rw-r--r-- |
48725 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2 |
||
3 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools" |
|
63646
74604a9fc4c8
API for Isabelle Jenkins continuous integration services;
wenzelm
parents:
48725
diff
changeset
|
4 |
|
74604a9fc4c8
API for Isabelle Jenkins continuous integration services;
wenzelm
parents:
48725
diff
changeset
|
5 |
ISABELLE_JENKINS_ROOT="https://ci.isabelle.systems/jenkins" |