1.1 --- a/Admin/Release/CHECKLIST	Sat Aug 09 14:11:01 2014 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Sat Aug 09 14:16:46 2014 +0200
     1.3 @@ -15,8 +15,6 @@
     1.4  
     1.5  - test "#!/usr/bin/env isabelle_scala_script";
     1.6  
     1.7 -- check HTML header of library;
     1.8 -
     1.9  - check sources:
    1.10      isabelle java isabelle.Check_Source '~~' '$AFP_BASE'
    1.11  
    1.12 @@ -40,6 +38,8 @@
    1.13      ROOTS
    1.14      lib/html/library_index_content.template
    1.15  
    1.16 +- check HTML header of library;
    1.17 +
    1.18  - test separate compilation of Isabelle/Scala PIDE sources:
    1.19      Admin/build jars_test
    1.20  
    1.21 @@ -54,6 +54,8 @@
    1.22  
    1.23  - Mac OS X: check app bundle with Retina display;
    1.24  
    1.25 +- Windows: check dpi scaling with high-definition display;
    1.26 +
    1.27  
    1.28  Repository fork
    1.29  ===============