# HG changeset patch
# User wenzelm
# Date 1554217090 -7200
# Node ID 5863d6a8374af4e664cef11a00f347877be11ff3
# Parent  7ba769344550840aa489619e3f5c0226949bcdcd
updated for release;

diff -r 7ba769344550 -r 5863d6a8374a Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Tue Apr 02 16:55:56 2019 +0200
+++ b/Admin/Release/CHECKLIST	Tue Apr 02 16:58:10 2019 +0200
@@ -46,17 +46,13 @@
 
 - check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
 
-- HTML library: check HTML header;
-
-- HTML library: check theory dependencies (PDF);
-
 - check "Handler catches all exceptions"
 
-- Mac OS X: check app bundle with Retina display;
+- Mac OS X: check app bundle with UHD display;
 
 - Mac OS X: check recent MacTeX;
 
-- Windows: check dpi scaling with high-definition display;
+- Windows: check dpi scaling with UHD display;
 
 - Windows: check recent MiKTeX;
 
@@ -77,7 +73,7 @@
 - Mac OS X: provide "gnutar" executable via shell PATH
   (e.g. copy of /usr/bin/gnutar from Mountain Lion)
 
-- fully-automated packaging (e.g. on lxbroy10):
+- fully-automated packaging (e.g. on lxcisa0):
 
   hg up -r DISTNAME && Admin/build_release -O -l -R DISTNAME -C ~/tmp/isadist/contrib /home/isabelle/dist