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:54:50 +00:00
parent e592260376
commit 6c588e2fa1
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
README.md
View File

@ -11,23 +11,23 @@ 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 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 running Isabelle and tools based on Isabelle (e.g., HOL-TestGen). The following
versions are available on docker hub: 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 * [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 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 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: version of Isabelle. The following versions are available on docker hub:
- [logicalhacking/isabelle2020](https://hub.docker.com/r/logicalhacking/isabelle2020) * [logicalhacking/isabelle2020](https://hub.docker.com/r/logicalhacking/isabelle2020)
- [logicalhacking/isabelle2019](https://hub.docker.com/r/logicalhacking/isabelle2019) * [logicalhacking/isabelle2019](https://hub.docker.com/r/logicalhacking/isabelle2019)
- [logicalhacking/isabelle2018](https://hub.docker.com/r/logicalhacking/isabelle2018) * [logicalhacking/isabelle2018](https://hub.docker.com/r/logicalhacking/isabelle2018)
- [logicalhacking/isabelle2017](https://hub.docker.com/r/logicalhacking/isabelle2017) * [logicalhacking/isabelle2017](https://hub.docker.com/r/logicalhacking/isabelle2017)
* [isabelle_dof](isabelle_dof/Dockerfile) provides a parametrized Dockerfile to generate * [isabelle_dof](isabelle_dof/Dockerfile) provides a parametrized Dockerfile to generate
docker images of [Isabelle/DOF](https://git.logicalhacking.com/isabelle_dof/isabelle_dof). 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 [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 authoring framework for Isabelle, provided by the University of Exeter and the University
of Paris-Saclay. The following versions are available on docker hub: 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) * [logicalhacking/isabelle_dof-1.0.0_isabelle2019](https://hub.docker.com/r/logicalhacking/isabelle_dof-1.0.0_isabelle2019)
## Authors ## Authors