lh-docker-isabelle/.ci
Achim D. Brucker d88f0ed610
lh-docker/lh-docker-isabelle/master This commit looks good Details
Added support for Isabelle 2019.
2019-06-18 07:39:43 +01:00
..
Jenkinsfile Added support for Isabelle 2019. 2019-06-18 07:39:43 +01:00