updated subtle side-conditions;
authorwenzelm
Tue Apr 26 22:59:03 2016 +0200 (2016-04-26 ago)
changeset 6306121ebc2f5c571
parent 63060 293ede07b775
child 63062 60406bf310f8
updated subtle side-conditions;
Admin/Release/CHECKLIST
     1.1 --- a/Admin/Release/CHECKLIST	Tue Apr 26 22:44:31 2016 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Tue Apr 26 22:59:03 2016 +0200
     1.3 @@ -69,10 +69,13 @@
     1.4  Packaging
     1.5  =========
     1.6  
     1.7 -- fully-automated packaging (requires Mac OS X with gnutar, avoid Mavericks):
     1.8 +- fully-automated packaging:
     1.9  
    1.10    hg up -r DISTNAME && Admin/Release/build -O -l -r DISTNAME /home/isabelle/dist
    1.11  
    1.12 +  Mac OS X: requires gnutar, avoid Mavericks (problems with hdiutil?)
    1.13 +  Linux: avoid Debian (bitmap fonts for prog-prove)
    1.14 +
    1.15  
    1.16  Final release stage
    1.17  ===================