 Achim D. Brucker
|
315b3d1b1d
|
Setup for various versions of Isabelle.
|
2021-03-21 00:16:39 +00:00 |
|
Achim D. Brucker
|
c7c5b0f4ce
|
Added build dir.
|
2021-01-17 16:14:59 +00:00 |
|
Achim D. Brucker
|
a80fd4d3c4
|
Enable use global config.
|
2021-01-16 13:16:24 +00:00 |
|
Achim D. Brucker
|
2cfef2ddfc
|
Allow user of podman as alternative to docker.
|
2021-01-03 21:50:25 +00:00 |
|
Achim D. Brucker
|
d8863b054c
|
Log image version during build.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
2019-08-18 19:52:20 +01:00 |
|
Achim D. Brucker
|
b0cecf990e
|
Install PDF viewer.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
2019-08-18 17:01:19 +01:00 |
|
Achim D. Brucker
|
95ec2a3f0c
|
Use official release archive for generating Docker images.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
2019-08-18 16:42:12 +01:00 |
|
Achim D. Brucker
|
3d49783668
|
Bug fix: examples in JEdit docker.
|
2019-08-18 09:17:26 +01:00 |
|
Achim D. Brucker
|
1f51468201
|
Inital commit of Dockerfile for Isabelle/DOF.
|
2019-08-17 22:53:10 +01:00 |