author | haftmann |
Mon, 06 Feb 2017 20:56:30 +0100 | |
changeset 64987 | 1985502518ce |
parent 63143 | ef72b104fa32 |
permissions | -rw-r--r-- |
63143
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
1 |
#components required for the CI infrastructure |
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
2 |
ci-extras-1 |