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.
merged
authordesharna
Tue, 07 Oct 2025 22:05:35 +0000
changeset 83257 a6c8697b415e
parent 83256 411cbcf04648 (current diff)
parent 83255 46d2d8d9423e (diff)
child 83264 40ae9494bb20
merged
NEWS file | annotate | diff | comparison | revisions 
--- a/.hgtags	Tue Oct 07 19:03:57 2025 +0000
+++ b/.hgtags	Tue Oct 07 22:05:35 2025 +0000
@@ -44,3 +44,4 @@
 b5f3d1051b131a80b1e4560cc05e5a3d223bc64f Isabelle2023
 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
 4b875a4c83b0696d326e598069b3b8dafcf511c8 Isabelle2025
+3deead057a16df29f26cfdf0a893829f6b354cb9 Isabelle2025-1-RC0
--- a/Admin/Release/CHECKLIST	Tue Oct 07 19:03:57 2025 +0000
+++ b/Admin/Release/CHECKLIST	Tue Oct 07 22:05:35 2025 +0000
@@ -80,19 +80,19 @@
 - regular packaging:
 
   #on fast Linux machine, with access to build_host for each platform
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2025 -j2 -l -F -L
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2025-1 -l -F -L
 
 - Docker image:
 
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025 Isabelle2025_linux.tar.gz
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025_X11_Latex -P X11 -P latex Isabelle2025_linux.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025-1 Isabelle2025-1_linux.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025-1_X11_Latex -P X11 -P latex Isabelle2025-1_linux.tar.gz
 
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025_ARM Isabelle2025_linux_arm.tar.gz
-  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025_ARM_X11_Latex -P X11 -P latex Isabelle2025_linux_arm.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025-1_ARM Isabelle2025-1_linux_arm.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025-1_ARM_X11_Latex -P X11 -P latex Isabelle2025-1_linux_arm.tar.gz
 
   docker login
 
-  docker push makarius/isabelle:Isabelle2025
+  docker push makarius/isabelle:Isabelle2025-1
 
   docker tag ... latest
   docker push makarius/isabelle:latest
--- a/CONTRIBUTORS	Tue Oct 07 19:03:57 2025 +0000
+++ b/CONTRIBUTORS	Tue Oct 07 22:05:35 2025 +0000
@@ -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 Isabelle2025-1
+-------------------------------
 
 * May 2025: Benoît Ballenghien, Université Paris-Saclay.
   Simproc "apply_cont" for HOLCF.
--- a/NEWS	Tue Oct 07 19:03:57 2025 +0000
+++ b/NEWS	Tue Oct 07 22:05:35 2025 +0000
@@ -4,8 +4,8 @@
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2025-1 (December 2025)
+-------------------------------------
 
 *** General ***
isabelle