equal
deleted
inserted
replaced
1 Checklist for official releases |
1 Checklist for official releases |
2 =============================== |
2 =============================== |
3 |
3 |
4 - Admin/update-keywords; |
4 - Admin/update-keywords; |
5 |
5 |
6 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website; |
6 - check ANNOUNCE, README.html, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website; |
7 |
7 |
8 - run tests with all supported ML systems; |
8 - run tests with all supported ML systems; |
9 |
9 |
10 - maintain Docs: |
10 - maintain Docs: |
11 Doc/Contents |
11 Doc/Contents |