# HG changeset patch
# User wenzelm
# Date 1461704343 -7200
# Node ID 21ebc2f5c571d9a2086ccdbb27af4cfb067cd778
# Parent  293ede07b7752feb39420d0948015eb3fcc7d51c
updated subtle side-conditions;

diff -r 293ede07b775 -r 21ebc2f5c571 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Tue Apr 26 22:44:31 2016 +0200
+++ b/Admin/Release/CHECKLIST	Tue Apr 26 22:59:03 2016 +0200
@@ -69,10 +69,13 @@
 Packaging
 =========
 
-- fully-automated packaging (requires Mac OS X with gnutar, avoid Mavericks):
+- fully-automated packaging:
 
   hg up -r DISTNAME && Admin/Release/build -O -l -r DISTNAME /home/isabelle/dist
 
+  Mac OS X: requires gnutar, avoid Mavericks (problems with hdiutil?)
+  Linux: avoid Debian (bitmap fonts for prog-prove)
+
 
 Final release stage
 ===================