Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated for release;
authorwenzelm
Wed, 07 Jun 2023 13:02:40 +0200
changeset 78143 7ea4f986e41a
parent 78142 a502d7e06855
child 78144 979036f4f42c
updated for release;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions
CONTRIBUTORS file | annotate | diff | comparison | revisions
NEWS file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Wed Jun 07 11:40:24 2023 +0200
+++ b/Admin/Release/CHECKLIST	Wed Jun 07 13:02:40 2023 +0200
@@ -76,28 +76,28 @@
 - regular packaging:
 
   #source archive
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p ""
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2023 -p ""
 
   #on fast Linux machine, with access to Linux + Windows build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux,windows -l
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2023 -p linux,windows -l
 
   #with access Apple ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p macos
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2023 -p macos
 
   #with access Linux ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux_arm
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2023 -p linux_arm
 
 - Docker image:
 
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022_X11_Latex -P X11 -P latex Isabelle2022_linux.tar.gz
+  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:Isabelle2022_ARM Isabelle2022_linux_arm.tar.gz
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM_X11_Latex -P X11 -P latex Isabelle2022_linux_arm.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
 
   docker login
 
-  docker push makarius/isabelle:Isabelle2022
+  docker push makarius/isabelle:Isabelle2023
 
   docker tag ... latest
   docker push makarius/isabelle:latest
--- a/CONTRIBUTORS	Wed Jun 07 11:40:24 2023 +0200
+++ b/CONTRIBUTORS	Wed Jun 07 13:02:40 2023 +0200
@@ -3,8 +3,8 @@
 listed as an author in one of the source files of this Isabelle distribution.
 
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2023
+-----------------------------
 
 * October 2022: Jeremy Sylvestre
   Lemmas for Fun and List.
--- a/NEWS	Wed Jun 07 11:40:24 2023 +0200
+++ b/NEWS	Wed Jun 07 13:02:40 2023 +0200
@@ -4,8 +4,8 @@
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2023 (August 2023)
+---------------------------------
 
 *** General ***
isabelle