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.
more to check;
authorwenzelm
Sun, 12 Jan 2025 14:19:06 +0100
changeset 81783 9c62b9201e12
parent 81782 66d487aa1b99
child 81784 12028de0b66a
more to check;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Sun Jan 12 14:16:21 2025 +0100
+++ b/Admin/Release/CHECKLIST	Sun Jan 12 14:19:06 2025 +0100
@@ -10,6 +10,8 @@
 
 - Admin/components/bundled: update naproche;
 
+- test "isabelle find_facts_index FOL && isabelle find_facts_server";
+
 - test "isabelle dump -b Pure ZF";
 
 - test "isabelle build -o export_theory -f ZF";
isabelle