equal
deleted
inserted
replaced
12 - test Isabelle/jEdit on airy device; |
12 - test Isabelle/jEdit on airy device; |
13 |
13 |
14 - test 'display_drafts' command; |
14 - test 'display_drafts' command; |
15 |
15 |
16 - test "#!/usr/bin/env isabelle_scala_script"; |
16 - test "#!/usr/bin/env isabelle_scala_script"; |
17 |
|
18 - check HTML header of library; |
|
19 |
17 |
20 - check sources: |
18 - check sources: |
21 isabelle java isabelle.Check_Source '~~' '$AFP_BASE' |
19 isabelle java isabelle.Check_Source '~~' '$AFP_BASE' |
22 |
20 |
23 - run isabelle update_keywords; |
21 - run isabelle update_keywords; |
38 |
36 |
39 - maintain Logics: |
37 - maintain Logics: |
40 ROOTS |
38 ROOTS |
41 lib/html/library_index_content.template |
39 lib/html/library_index_content.template |
42 |
40 |
|
41 - check HTML header of library; |
|
42 |
43 - test separate compilation of Isabelle/Scala PIDE sources: |
43 - test separate compilation of Isabelle/Scala PIDE sources: |
44 Admin/build jars_test |
44 Admin/build jars_test |
45 |
45 |
46 - test Isabelle/jEdit: |
46 - test Isabelle/jEdit: |
47 print buffer |
47 print buffer |
51 |
51 |
52 - check "Handler catches all exceptions", using |
52 - check "Handler catches all exceptions", using |
53 PolyML.Compiler.reportExhaustiveHandlers := true; |
53 PolyML.Compiler.reportExhaustiveHandlers := true; |
54 |
54 |
55 - Mac OS X: check app bundle with Retina display; |
55 - Mac OS X: check app bundle with Retina display; |
|
56 |
|
57 - Windows: check dpi scaling with high-definition display; |
56 |
58 |
57 |
59 |
58 Repository fork |
60 Repository fork |
59 =============== |
61 =============== |
60 |
62 |