equal
deleted
inserted
replaced
2 =============================== |
2 =============================== |
3 |
3 |
4 - check latest updates of polyml, jdk, scala, jedit; |
4 - check latest updates of polyml, jdk, scala, jedit; |
5 |
5 |
6 - check Admin/components; |
6 - check Admin/components; |
|
7 |
|
8 - test "isabelle dump -l Pure ZF"; |
|
9 |
|
10 - test "isabelle -o export_theory -f ZF"; |
|
11 |
|
12 - test "isabelle server" according to "system" manual; |
|
13 |
|
14 - test Isabelle/VSCode; |
7 |
15 |
8 - test Isabelle/jEdit: print buffer |
16 - test Isabelle/jEdit: print buffer |
9 |
17 |
10 - test "#!/usr/bin/env isabelle_scala_script"; |
18 - test "#!/usr/bin/env isabelle_scala_script"; |
11 |
19 |