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.
update naproche-20250201: rebuilt executables (just one copy), provide most PDFs;
authorwenzelm
Sat, 01 Feb 2025 20:05:06 +0100
changeset 82034 1a20848a159e
parent 82030 bae948b1132b
child 82035 e074ba489ab0
update naproche-20250201: rebuilt executables (just one copy), provide most PDFs;
Admin/components/bundled file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/components/bundled	Sat Feb 01 15:00:39 2025 +0100
+++ b/Admin/components/bundled	Sat Feb 01 20:05:06 2025 +0100
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-naproche-20250125
+naproche-20250201
--- a/Admin/components/components.sha1	Sat Feb 01 15:00:39 2025 +0100
+++ b/Admin/components/components.sha1	Sat Feb 01 20:05:06 2025 +0100
@@ -357,6 +357,7 @@
 91ac689e9f7fbd69dd49089bc82904b7f5a290cf naproche-20240502.tar.gz
 f8d093ec54e8df47de0934b329713f59832eb71c naproche-20240519.tar.gz
 8212b431b495f2771c3c27bc3ae0418f55cefa88 naproche-20250125.tar.gz
+da83a3350cf27ca1ab3c86de6b6b60178cfda0db naproche-20250201.tar.gz
 d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
isabelle