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.
add find_facts_web component;
authorFabian Huch <huch@in.tum.de>
Sat, 08 Feb 2025 17:24:19 +0100
changeset 82114 1126ee407227
parent 82113 b636cad7b684
child 82115 bb6a3b379f6a
add find_facts_web component;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Fri Feb 07 22:23:24 2025 +0100
+++ b/Admin/components/components.sha1	Sat Feb 08 17:24:19 2025 +0100
@@ -112,6 +112,7 @@
 8b9bffd10e396d965e815418295f2ee2849bea75 exec_process-1.0.2.tar.gz
 e6aada354da11e533af2dee3dcdd96c06479b053 exec_process-1.0.3.tar.gz
 ae7ee5becb26512f18c609e83b34612918bae5f0 exec_process-1.0.tar.gz
+a7dffe7ab28c0627ef5957ef521ded2db9022b37 find_facts_web-20250208.tar.gz
 7a4b46752aa60c1ee6c53a2c128dedc8255a4568 flatlaf-0.46-1.tar.gz
 ed5cbc216389b655dac21a19e770a02a96867b85 flatlaf-0.46.tar.gz
 d37b38b9a27a6541c644e22eeebe9a339282173d flatlaf-1.0-rc1.tar.gz
--- a/Admin/components/main	Fri Feb 07 22:23:24 2025 +0100
+++ b/Admin/components/main	Sat Feb 08 17:24:19 2025 +0100
@@ -8,6 +8,7 @@
 elm-0.19.1
 easychair-3.5
 eptcs-1.7.0
+find_facts_web-20250208
 flatlaf-3.5.4-1
 foiltex-2.1.4b
 idea-icons-20210508
isabelle