lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added links to docker hub.

This commit is contained in:
Achim D. Brucker 2021-01-24 14:53:53 +00:00
parent 84e02a0e23
commit e592260376
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
README.md
View File

@ -9,18 +9,25 @@ tested with [podman](https://podman.io/) and [Docker](https://www.docker.com).
* [debian4isabelle](debian4isabelle/Dockerfile) provides a generic [Debian](https://www.debian.org)
image that serves as basis for the Isabelle docker files. This image is not
eagerly optimized for size, as it goal is to include all tools that are required for
running Isabelle and tools based on Isabelle (e.g., HOL-TestGen).
running Isabelle and tools based on Isabelle (e.g., HOL-TestGen). The following
versions are available on docker hub:
- [logicalhacking/debian4isabelle](https://hub.docker.com/r/logicalhacking/debian4isabelle)
* [isabelle](isabelle/Dockerfile) provides a parametrized Dockerfile to generate docker
images for various version of Isabelle. The image will also contain a copy of the most
recent version of the [AFP](https://www.isa-afp.org) available for the specified
version of Isabelle.
version of Isabelle. The following versions are available on docker hub:
- [logicalhacking/isabelle2020](https://hub.docker.com/r/logicalhacking/isabelle2020)
- [logicalhacking/isabelle2019](https://hub.docker.com/r/logicalhacking/isabelle2019)
- [logicalhacking/isabelle2018](https://hub.docker.com/r/logicalhacking/isabelle2018)
- [logicalhacking/isabelle2017](https://hub.docker.com/r/logicalhacking/isabelle2017)
* [isabelle_dof](isabelle_dof/Dockerfile) provides a parametrized Dockerfile to generate
docker images of [Isabelle/DOF](https://git.logicalhacking.com/isabelle_dof/isabelle_dof).
[Isabelle/DOF](https://git.logicalhacking.com/isabelle_dof/isabelle_dof) is a document
authoring framework for Isabelle, provided by the University of Exeter and the University
of Paris-Saclay.
of Paris-Saclay. The following versions are available on docker hub:
- [logicalhacking/isabelle_dof-1.0.0_isabelle2019](https://hub.docker.com/r/logicalhacking/isabelle_dof-1.0.0_isabelle2019)
## Authors