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:57:00 +00:00
parent d5198cdd37
commit 1c7a99b9c1
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -11,12 +11,14 @@ 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)
@ -27,7 +29,8 @@ tested with [podman](https://podman.io/) and [Docker](https://www.docker.com).
[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