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

Added link for Isabelle2021 image.

This commit is contained in:
Achim D. Brucker 2021-03-18 19:19:29 +00:00
parent 6b8827830d
commit 4b2e86c6ad
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -19,6 +19,7 @@ tested with [podman](https://podman.io/) and [Docker](https://www.docker.com).
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/isabelle2021](https://hub.docker.com/r/logicalhacking/isabelle2021)
* [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)