Admin/Release/CHECKLIST
changeset 69956 800ec9074701
parent 69691 9c6651cd6141
child 69959 795ca58cee29
equal deleted inserted replaced
69955:160fcaf502d7 69956:800ec9074701
     5 
     5 
     6 - check Admin/components;
     6 - check Admin/components;
     7 
     7 
     8 - test "isabelle dump -l Pure ZF";
     8 - test "isabelle dump -l Pure ZF";
     9 
     9 
    10 - test "isabelle -o export_theory -f ZF";
    10 - test "isabelle build -o export_theory -f ZF";
    11 
    11 
    12 - test "isabelle server" according to "system" manual;
    12 - test "isabelle server" according to "system" manual;
    13 
    13 
    14 - test Isabelle/VSCode;
    14 - test Isabelle/VSCode;
    15 
    15