# HG changeset patch
# User wenzelm
# Date 1453643862 -3600
# Node ID 3cde0ea647275f1e6b14e0d65caedf06c6e4c4e0
# Parent  167641f8b83a65d5889e95a2f6cbd4ecb81b2bde
tuned;

diff -r 167641f8b83a -r 3cde0ea64727 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Jan 24 13:07:50 2016 +0100
+++ b/Admin/Release/CHECKLIST	Sun Jan 24 14:57:42 2016 +0100
@@ -28,9 +28,9 @@
 
 - update https://bitbucket.org/isabelle_project/isabelle-website
 
-- maintain doc/Contents;
+- check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
 
-- maintain Logics:
+- check Logics:
     ROOTS
     lib/html/library_index_content.template