diff --git a/README.md b/README.md index cc84bec..909141a 100644 --- a/README.md +++ b/README.md @@ -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