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 naproche-20230711 component for release;
authorwenzelm
Tue, 11 Jul 2023 17:07:10 +0200
changeset 78308 1d041311dc67
parent 78307 4c8b04679944
child 78309 fc6246225283
updated naproche-20230711 component for release;
Admin/components/bundled file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/components/bundled	Tue Jul 11 16:59:00 2023 +0200
+++ b/Admin/components/bundled	Tue Jul 11 17:07:10 2023 +0200
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-#naproche-20221024
+naproche-20230711
--- a/Admin/components/components.sha1	Tue Jul 11 16:59:00 2023 +0200
+++ b/Admin/components/components.sha1	Tue Jul 11 17:07:10 2023 +0200
@@ -312,6 +312,7 @@
 0b5a3161a18045540ab618249ba85a464c1fce66 naproche-20221002.tar.gz
 48e9d4cbf95626c8e3013bee86ff82e67df6cefd naproche-20221018.tar.gz
 c66f5ce13d429ea9c8dcc0d33d34b7abf178da5d naproche-20221024.tar.gz
+8e6cb32312336abcfe488b718bdc621461a7f132 naproche-20230711.tar.gz
 d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
isabelle