Admin/CHECKLIST

keep Proof General 4.0 and 3.7.1.1 for now;

+
−Checklist for official releases
+
−===============================
+
−
+
−- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
+
−
+
−- test Proof General 4.1, 4.0, 3.7.1.1;
+
−
+
−- test Scala wrapper;
+
−
+
−- check HTML header of library;
+
−
+
−- check CTRL-C, SIGINT in tty (also for external processes);
+
−
+
−- check persistent sessions with PG and Poly/ML 5.x;
+
−
+
−- Admin/update-keywords;
+
−
+
−- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
+
−
+
−- check Admin/contributed_components;
+
−
+
−- diff NEWS wrt. last official release, which is read-only;
+
−
+
−- update https://isabelle.in.tum.de/repos/website;
+
−
+
−- maintain Docs:
+
−    doc-src/Dirs
+
−    doc/Contents
+
−
+
−- maintain Logics:
+
−    build
+
−    etc/components
+
−    lib/html/library_index_content.template
+
−
+
−
+
−Packaging
+
−=========
+
−
+
−- makedist -r DISTNAME
+
−
+
−- makebin (multiplatform);
+
−
+
−- makebin -l on fast machine;
+
−
+
−- makebundle (multiplatform);
+
−
+
−- hdiutil create -srcfolder DIR DMG (Mac OS);