# HG changeset patch
# User wenzelm
# Date 1709668699 -3600
# Node ID 98f009f56400c7317d26d96cf7d904cc984b1d46
# Parent  0f95dfe27682777791d0eb558af071806880446a
updated for release;

diff -r 0f95dfe27682 -r 98f009f56400 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Tue Mar 05 20:58:11 2024 +0100
+++ b/Admin/Release/CHECKLIST	Tue Mar 05 20:58:19 2024 +0100
@@ -75,23 +75,20 @@
 
 - regular packaging:
 
-  #on fast Linux machine, with access to Linux + Apple ARM + Windows build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2023 -j2 -l
-
-  #with access Linux ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2023 -p linux_arm
+  #on fast Linux machine, with access to build_host for each platform
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2024 -j2 -l
 
 - Docker image:
 
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2023 Isabelle2023_linux.tar.gz
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2023_X11_Latex -P X11 -P latex Isabelle2023_linux.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024 Isabelle2024_linux.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024_X11_Latex -P X11 -P latex Isabelle2024_linux.tar.gz
 
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2023_ARM Isabelle2023_linux_arm.tar.gz
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2023_ARM_X11_Latex -P X11 -P latex Isabelle2023_linux_arm.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024_ARM Isabelle2024_linux_arm.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024_ARM_X11_Latex -P X11 -P latex Isabelle2024_linux_arm.tar.gz
 
   docker login
 
-  docker push makarius/isabelle:Isabelle2023
+  docker push makarius/isabelle:Isabelle2024
 
   docker tag ... latest
   docker push makarius/isabelle:latest