From 6b8827830dae0ab191b3529dbce615bba150cb1a Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Thu, 18 Mar 2021 19:19:09 +0000
Subject: [PATCH] Updated latest Isabelle version and export environment.

---
 build.sh | 1 +
 config   | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index 3f54bf1..33905a8 100755
--- a/build.sh
+++ b/build.sh
@@ -35,6 +35,7 @@ export VERSION SESSIONS CONTAINER DOCKERUID LATEST
 $CONTAINER build -t logicalhacking/debian4isabelle debian4isabelle
 
 # Generate Isabelle image(s)
+export IMAGE_NAME=logicalhacking/isabelle$VERSION
 ( cd isabelle && source hooks/build)
 
 # Generate Isabelle/DOF image
diff --git a/config b/config
index 74eae18..6facb3e 100755
--- a/config
+++ b/config
@@ -27,8 +27,8 @@
 
 set -e 
 
-VERSION=${1:-2020}
+VERSION=${1:-2021}
 SESSIONS=${2:-"HOL"}
 CONTAINER=${3:-docker}
 DOCKERUID=${4:-`id -u`}
-LATEST="2020"
+LATEST="2021"