author | wenzelm |
Mon, 19 Sep 2016 12:53:30 +0200 | |
changeset 63917 | 40d1c5e7f407 |
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" |