Commit Graph

2 Commits

Author SHA1 Message Date
Achim D. Brucker d88f0ed610 Added support for Isabelle 2019.
lh-docker/lh-docker-isabelle/master This commit looks good Details
2019-06-18 07:39:43 +01:00
Achim D. Brucker 8d1176d523 Initial commit. 2019-01-04 18:41:12 +00:00