equal
deleted
inserted
replaced
35 lib/html/library_index_content.template |
35 lib/html/library_index_content.template |
36 |
36 |
37 - test separate compilation of Isabelle/Scala PIDE sources: |
37 - test separate compilation of Isabelle/Scala PIDE sources: |
38 Admin/build jars_test |
38 Admin/build jars_test |
39 |
39 |
|
40 - test Isabelle/jEdit: |
|
41 print buffer |
|
42 |
40 - test contrib components: |
43 - test contrib components: |
41 x86_64-linux without 32bit C/C++ libraries |
44 x86_64-linux without 32bit C/C++ libraries |
42 Mac OS X Leopard |
45 Mac OS X Leopard |
43 |
46 |
44 |
47 |