| changeset 62459 | 7a5d88dd8cc9 |
| parent 62452 | f25b67245699 |
| child 62501 | 98fa1f9a292f |
| 62456:11e06f5283bc | 62459:7a5d88dd8cc9 |
|---|---|
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 |
7 |
8 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0; |
8 - test polyml-5.3.0; |
9 |
9 |
10 - test 'display_drafts' command; |
10 - test 'display_drafts' command; |
11 |
11 |
12 - test "#!/usr/bin/env isabelle_scala_script"; |
12 - test "#!/usr/bin/env isabelle_scala_script"; |
13 |
13 |