# HG changeset patch
# User wenzelm
# Date 1736687946 -3600
# Node ID 9c62b9201e1238f6a29b474e9bc149cea599b84a
# Parent  66d487aa1b99049a0a43a521bc6adcee7c4bbadd
more to check;

diff -r 66d487aa1b99 -r 9c62b9201e12 Admin/Release/CHECKLIST
--- 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";