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

Added note that files are tested with podman and Docker.

This commit is contained in:
Achim D. Brucker 2021-01-22 21:34:42 +00:00
parent c7c5b0f4ce
commit 84e02a0e23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -1,7 +1,8 @@
# [Dockerfiles for Isabelle and Related Projects](https://git.logicalhacking.com/lh-docker/lh-docker-isabelle)
This repository contains Dockerfiles for running [Isabelle](https://isabelle.in.tum.de)
and projects based on [Isabelle](https://isabelle.in.tum.de).
and projects based on [Isabelle](https://isabelle.in.tum.de). The Dockerfiles are
tested with [podman](https://podman.io/) and [Docker](https://www.docker.com).
## List of Dockerfiles