# HG changeset patch
# User wenzelm
# Date 1553356844 -3600
# Node ID 800ec907470182dbf887f21cfc9673fb41592147
# Parent  160fcaf502d7dea6c486b10c009dd33fca42fca2
proper command-line;

diff -r 160fcaf502d7 -r 800ec9074701 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sat Mar 23 16:39:29 2019 +0100
+++ b/Admin/Release/CHECKLIST	Sat Mar 23 17:00:44 2019 +0100
@@ -7,7 +7,7 @@
 
 - test "isabelle dump -l Pure ZF";
 
-- test "isabelle -o export_theory -f ZF";
+- test "isabelle build -o export_theory -f ZF";
 
 - test "isabelle server" according to "system" manual;