# HG changeset patch
# User wenzelm
# Date 1474042153 -7200
# Node ID dc036b1a2a6f22d68bcbc5ec5ccae37f66f77b77
# Parent  8a4b41a8afb8f0e98f0fb126ccd0d575f558d4fa
misc updates;

diff -r 8a4b41a8afb8 -r dc036b1a2a6f Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Fri Sep 16 18:01:31 2016 +0200
+++ b/Admin/Release/CHECKLIST	Fri Sep 16 18:09:13 2016 +0200
@@ -32,7 +32,9 @@
     ROOTS
     lib/html/library_index_content.template
 
-- check HTML header of library;
+- HTML library: check HTML header;
+
+- HTML library: check theory dependencies (PDF);
 
 - test separate compilation of Isabelle/Scala PIDE sources:
     Admin/build jars_test
@@ -72,13 +74,12 @@
 - Mac OS X: provide "gnutar" executable via shell PATH
   (e.g. copy of /usr/bin/gnutar from Mountain Lion)
 
+- Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove);
+
 - fully-automated packaging:
 
   hg up -r DISTNAME && Admin/Release/build -O -l -r DISTNAME /home/isabelle/dist
 
-  Mac OS X: avoid Mavericks (problems with hdiutil?)
-  Linux: avoid Debian (bitmap fonts for prog-prove)
-
 
 Final release stage
 ===================