Updated default version to Isabelle 2022.

2022-10-30 20:44:17 +00:00 · 2022-10-30 20:44:17 +00:00 · 3fdb7b86b4
parent 0ae1e8eafa
commit 3fdb7b86b4
1 changed files with 3 additions and 2 deletions
--- a/5
+++ b/5
@ -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