From e5922603768e6c7af9912905703d107d9ee07e66 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 24 Jan 2021 14:53:53 +0000 Subject: [PATCH] Added links to docker hub. --- README.md | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 909141a..dae75b3 100644 --- a/README.md +++ b/README.md @@ -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