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

Fixed markdown.

This commit is contained in:
Achim D. Brucker 2021-01-24 14:55:17 +00:00
parent 6c588e2fa1
commit d5198cdd37
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
README.md
View File

@ -11,16 +11,16 @@ tested with [podman](https://podman.io/) and [Docker](https://www.docker.com).
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). The following
versions are available on docker hub:
* [logicalhacking/debian4isabelle](https://hub.docker.com/r/logicalhacking/debian4isabelle)
* [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. 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)
* [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).