From 3fdb7b86b4b7be97ab70f46f56c6a1bfc7898d0e Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 30 Oct 2022 20:44:17 +0000
Subject: [PATCH] Updated default version to Isabelle 2022.

---
 config | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/config b/config
index 6facb3e..fd9fa86 100755
--- a/config
+++ b/config
@@ -27,8 +27,9 @@
 
 set -e 
 
-VERSION=${1:-2021}
+VERSION=${1:-2022}
 SESSIONS=${2:-"HOL"}
 CONTAINER=${3:-docker}
 DOCKERUID=${4:-`id -u`}
-LATEST="2021"
+LATEST="2022"
+CONTAINER=podman