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.
provide somewhat incomplete naproche-20250125 for testing;
authorwenzelm
Sat, 25 Jan 2025 23:16:28 +0100
changeset 81979 40a2bd73dceb
parent 81978 d9cd12d0c5db
child 81981 989e661398d6
provide somewhat incomplete naproche-20250125 for testing;
Admin/components/bundled file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/components/bundled	Sat Jan 25 22:04:07 2025 +0100
+++ b/Admin/components/bundled	Sat Jan 25 23:16:28 2025 +0100
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-#naproche-20240519
+naproche-20250125
--- a/Admin/components/components.sha1	Sat Jan 25 22:04:07 2025 +0100
+++ b/Admin/components/components.sha1	Sat Jan 25 23:16:28 2025 +0100
@@ -353,6 +353,7 @@
 f1a9ff4c08c1d226eb1994509254a0b9624f4c52 naproche-20240501.tar.gz
 91ac689e9f7fbd69dd49089bc82904b7f5a290cf naproche-20240502.tar.gz
 f8d093ec54e8df47de0934b329713f59832eb71c naproche-20240519.tar.gz
+8212b431b495f2771c3c27bc3ae0418f55cefa88 naproche-20250125.tar.gz
 d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
isabelle