# HG changeset patch
# User wenzelm
# Date 1404220783 -7200
# Node ID e302e4bd03450299e1235e75c1d245f0e70f7ae8
# Parent  77d13a98f1c8861b93c1a43d4665fd51fe0cfb3c
tuned;

diff -r 77d13a98f1c8 -r e302e4bd0345 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Tue Jul 01 15:19:05 2014 +0200
+++ b/Admin/Release/CHECKLIST	Tue Jul 01 15:19:43 2014 +0200
@@ -26,7 +26,7 @@
 
 - check funny base directory, e.g. "Test 中国";
 
-- check scalable fonts, e.g. src/Doc/ProgProve (NOTE: T1 encoding
+- check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding
   requires cm-super fonts, which are usually available on MacTeX or
   Cygwin, but not on Ubuntu/Debian);
 
@@ -68,7 +68,7 @@
 Packaging
 =========
 
-- fully-automated packaging (requires Mac OS X with gnutar):
+- fully-automated packaging (requires Mac OS X with gnutar, avoid Mavericks):
 
   hg up -r DISTNAME && Admin/Release/build -l -r DISTNAME /home/isabelle/dist