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 to naproche-20221024: minor changes to documentation;
authorwenzelm
Mon, 24 Oct 2022 15:24:04 +0200
changeset 76369 b879d2280a7f
parent 76345 ea79c21bcc47
child 76370 9bd948666e8a
updated to naproche-20221024: minor changes to documentation;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Thu Oct 20 20:14:35 2022 +0200
+++ b/Admin/Release/CHECKLIST	Mon Oct 24 15:24:04 2022 +0200
@@ -73,13 +73,13 @@
 - regular packaging:
 
   #on fast Linux machine, with access to Linux + Windows build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p linux,windows -l
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux,windows -l
 
   #with access Apple ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p macos
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p macos
 
   #with access Linux ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p linux_arm
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux_arm
 
 - Docker image:
 
--- a/Admin/components/components.sha1	Thu Oct 20 20:14:35 2022 +0200
+++ b/Admin/components/components.sha1	Mon Oct 24 15:24:04 2022 +0200
@@ -296,6 +296,7 @@
 c695a038197477b69180917ee17ec2d92142e8f2 naproche-20220917.tar.gz
 0b5a3161a18045540ab618249ba85a464c1fce66 naproche-20221002.tar.gz
 48e9d4cbf95626c8e3013bee86ff82e67df6cefd naproche-20221018.tar.gz
+c66f5ce13d429ea9c8dcc0d33d34b7abf178da5d naproche-20221024.tar.gz
 d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
isabelle