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 'display_drafts' command; |
|
9 |
7 |
10 - test Isabelle/jEdit: print buffer |
8 - test Isabelle/jEdit: print buffer |
11 |
9 |
12 - test "#!/usr/bin/env isabelle_scala_script"; |
10 - test "#!/usr/bin/env isabelle_scala_script"; |
13 |
11 |