--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Release/CHECKLIST Thu Jul 05 14:13:14 2012 +0200
@@ -0,0 +1,81 @@
+Checklist for official releases
+===============================
+
+- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
+
+- test Proof General 4.1, 3.7.1.1;
+
+- 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;
+
+- check file positions within logic images (hyperlinks etc.);
+
+- Admin/update-keywords;
+
+- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
+
+- check Admin/components;
+
+- check funny base directory, e.g. "Test 中国";
+
+- diff NEWS wrt. last official release, which is read-only;
+
+- update https://isabelle.in.tum.de/repos/website;
+
+- maintain Docs:
+ doc-src: make all
+ doc-src/Dirs
+ doc/Contents
+
+- maintain Logics:
+ build
+ etc/components
+ lib/html/library_index_content.template
+
+- test separate compilation of Isabelle/Scala PIDE sources:
+ Admin/build jars_test
+
+- test Isabelle/jEdit:
+ print buffer
+
+- test contrib components:
+ x86_64-linux without 32bit C/C++ libraries
+ Mac OS X Leopard
+
+
+Packaging
+=========
+
+- makedist -j jedit_build-XXXX -r DISTNAME
+
+- makebin (multiplatform);
+
+- makebundle (multiplatform);
+
+- Mac OS X: hdiutil create -srcfolder DIR DMG;
+
+- Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
+
+- makebin -l on fast machine, based on renamed bundle with deleted heaps;
+
+
+Final release stage
+===================
+
+- makedist: REPOS_NAME="isabelle-release"
+
+- various .hg/hgrc files:
+ default = /home/isabelle-repository/repos/isabelle-release
+
+- isatest@macbroy28:hg-isabelle/.hg/hgrc
+- isatest@macbroy28:devel-page/content/index.content
+
+
+Post-release
+============
+
+- update /home/isabelle and /home/isabelle/html-data
+