equal
deleted
inserted
replaced
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 |
7 |
8 - test 'display_drafts' command; |
8 - test 'display_drafts' command; |
|
9 |
|
10 - test Isabelle/jEdit: print buffer |
9 |
11 |
10 - test "#!/usr/bin/env isabelle_scala_script"; |
12 - test "#!/usr/bin/env isabelle_scala_script"; |
11 |
13 |
12 - check sources: |
14 - check sources: |
13 isabelle check_sources '~~' '$AFP_BASE' |
15 isabelle check_sources '~~' '$AFP_BASE' |
40 lib/html/library_index_content.template |
42 lib/html/library_index_content.template |
41 |
43 |
42 - HTML library: check HTML header; |
44 - HTML library: check HTML header; |
43 |
45 |
44 - HTML library: check theory dependencies (PDF); |
46 - HTML library: check theory dependencies (PDF); |
45 |
|
46 - test Isabelle/jEdit: |
|
47 . print buffer |
|
48 . on single-core |
|
49 . on airy device |
|
50 |
47 |
51 - test contrib components: |
48 - test contrib components: |
52 x86_64-linux without 32bit C/C++ libraries |
49 x86_64-linux without 32bit C/C++ libraries |
53 x86-linux on 32bit hardware |
50 x86-linux on 32bit hardware |
54 |
51 |