# HG changeset patch
# User wenzelm
# Date 1407586606 -7200
# Node ID 7d45e47c276513477ed129e3c58043b99ef6acc2
# Parent  4ee24ee8055bd8d1d40f74af12c89dee9e7fc93d
tuned;

diff -r 4ee24ee8055b -r 7d45e47c2765 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sat Aug 09 14:11:01 2014 +0200
+++ b/Admin/Release/CHECKLIST	Sat Aug 09 14:16:46 2014 +0200
@@ -15,8 +15,6 @@
 
 - test "#!/usr/bin/env isabelle_scala_script";
 
-- check HTML header of library;
-
 - check sources:
     isabelle java isabelle.Check_Source '~~' '$AFP_BASE'
 
@@ -40,6 +38,8 @@
     ROOTS
     lib/html/library_index_content.template
 
+- check HTML header of library;
+
 - test separate compilation of Isabelle/Scala PIDE sources:
     Admin/build jars_test
 
@@ -54,6 +54,8 @@
 
 - Mac OS X: check app bundle with Retina display;
 
+- Windows: check dpi scaling with high-definition display;
+
 
 Repository fork
 ===============