proper command-line;
authorwenzelm
Sat Mar 23 17:00:44 2019 +0100 (3 weeks ago)
changeset 69956800ec9074701
parent 69955 160fcaf502d7
child 69957 e3217c6d6467
proper command-line;
Admin/Release/CHECKLIST
     1.1 --- a/Admin/Release/CHECKLIST	Sat Mar 23 16:39:29 2019 +0100
     1.2 +++ b/Admin/Release/CHECKLIST	Sat Mar 23 17:00:44 2019 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  - test "isabelle dump -l Pure ZF";
     1.6  
     1.7 -- test "isabelle -o export_theory -f ZF";
     1.8 +- test "isabelle build -o export_theory -f ZF";
     1.9  
    1.10  - test "isabelle server" according to "system" manual;
    1.11