Admin/Release/CHECKLIST
changeset 59980 070f04c94b2e
parent 59952 550b74e9b08c
child 60032 7fcbdc4aeb8e
     1.1 --- a/Admin/Release/CHECKLIST	Wed Apr 08 22:15:03 2015 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Wed Apr 08 23:00:09 2015 +0200
     1.3 @@ -18,8 +18,6 @@
     1.4  - check sources:
     1.5      isabelle java isabelle.Check_Source '~~' '$AFP_BASE'
     1.6  
     1.7 -- run isabelle update_keywords;
     1.8 -
     1.9  - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
    1.10  
    1.11  - check funny base directory, e.g. "Test 中国";
    1.12 @@ -54,8 +52,12 @@
    1.13  
    1.14  - Mac OS X: check app bundle with Retina display;
    1.15  
    1.16 +- Mac OS X: check recent MacTeX;
    1.17 +
    1.18  - Windows: check dpi scaling with high-definition display;
    1.19  
    1.20 +- Windows: check recent MiKTeX;
    1.21 +
    1.22  
    1.23  Repository fork
    1.24  ===============
    1.25 @@ -90,4 +92,3 @@
    1.26  ============
    1.27  
    1.28  - update /home/isabelle and /home/isabelle/html-data
    1.29 -