| changeset 62501 | 98fa1f9a292f |
| parent 62459 | 7a5d88dd8cc9 |
| child 63061 | 21ebc2f5c571 |
| 62498:5dfcc9697f29 | 62501:98fa1f9a292f |
|---|---|
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 polyml-5.3.0; |
|
9 |
7 |
10 - test 'display_drafts' command; |
8 - test 'display_drafts' command; |
11 |
9 |
12 - test "#!/usr/bin/env isabelle_scala_script"; |
10 - test "#!/usr/bin/env isabelle_scala_script"; |
13 |
11 |