From e72d6b5f73860e88320e255b946b43432a409f71 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Thu, 28 Jan 2021 21:48:10 +0000 Subject: [PATCH] Added note that files are tested with podman and Docker. --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index b769506..0cdad7b 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-scale-mamba) This repository contains Dockerfiles for running [SCALE-MAMBA](https://github.com/KULeuven-COSIC/SCALE-MAMBA) -and projects based on [SCALE-MAMBA](https://github.com/KULeuven-COSIC/SCALE-MAMBA). +and projects based on [SCALE-MAMBA](https://github.com/KULeuven-COSIC/SCALE-MAMBA). The Dockerfiles are +tested with [podman](https://podman.io/) and [Docker](https://www.docker.com). ## List of Dockerfiles