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 to Naproche/a2594f623402;
authorwenzelm
Sat, 01 Mar 2025 00:04:11 +0100
changeset 82228 79dfbf3bafc1
parent 82227 bb2ea9e80c33
child 82229 ac7c09c6ff2f
update to Naproche/a2594f623402;
Admin/components/bundled file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/components/bundled	Fri Feb 28 20:38:47 2025 +0100
+++ b/Admin/components/bundled	Sat Mar 01 00:04:11 2025 +0100
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-naproche-20250201
+naproche-20250228
--- a/Admin/components/components.sha1	Fri Feb 28 20:38:47 2025 +0100
+++ b/Admin/components/components.sha1	Sat Mar 01 00:04:11 2025 +0100
@@ -366,6 +366,7 @@
 f8d093ec54e8df47de0934b329713f59832eb71c naproche-20240519.tar.gz
 8212b431b495f2771c3c27bc3ae0418f55cefa88 naproche-20250125.tar.gz
 da83a3350cf27ca1ab3c86de6b6b60178cfda0db naproche-20250201.tar.gz
+434e2a6dc6fe681f7cb7b4e348fd26dbada17e61 naproche-20250228.tar.gz
 d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
isabelle