equal
deleted
inserted
replaced
1 Checklist for official releases |
1 Checklist for official releases |
2 =============================== |
2 =============================== |
3 |
3 |
4 - check latest updates of polyml, smlnj, 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, smlnj; |
8 - test polyml-5.4.1, polyml-5.4.0, 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 |