--- 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
===============