--- a/Admin/CHECKLIST Thu Jul 05 13:35:46 2012 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,81 +0,0 @@
-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/contributed_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
-