equal
deleted
inserted
replaced
8 |
8 |
9 - check Admin/components; |
9 - check Admin/components; |
10 |
10 |
11 - Admin/components/bundled: update naproche; |
11 - Admin/components/bundled: update naproche; |
12 |
12 |
13 - test "isabelle find_facts_index FOL && isabelle find_facts_server" on all platforms; |
13 - test "isabelle find_facts_index FOL && isabelle find_facts_server"; |
14 |
14 |
15 - test "isabelle dump -b Pure ZF"; |
15 - test "isabelle dump -b Pure ZF"; |
16 |
16 |
17 - test "isabelle build -o export_theory -f ZF"; |
17 - test "isabelle build -o export_theory -f ZF"; |
18 |
18 |