From b96397800d1ba3d6ba1bfa546970008c77abdd2b Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 21 Mar 2021 00:00:13 +0000
Subject: [PATCH] Updated Isabelle base image.

---
 .ci/isabelle4isadof/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/isabelle4isadof/Dockerfile b/.ci/isabelle4isadof/Dockerfile
index 1bf3583..d9e6920 100755
--- a/.ci/isabelle4isadof/Dockerfile
+++ b/.ci/isabelle4isadof/Dockerfile
@@ -24,7 +24,7 @@
 #
 # SPDX-License-Identifier: BSD-2-Clause
 
-FROM logicalhacking/lh-docker-isabelle:isabelle2020
+FROM logicalhacking/lh-docker-isabelle:isabelle2021
 
 WORKDIR /home/isabelle
 COPY thy_output.ML /home/isabelle/Isabelle/src/Pure/Thy