# HG changeset patch
# User wenzelm
# Date 1273665739 -7200
# Node ID d9338f121406e387389246b3f88c786fd8b7416e
# Parent  51af1657263b2ee3ba3648524f3d2e686a2bffc2
check NEWS;

diff -r 51af1657263b -r d9338f121406 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed May 12 13:54:49 2010 +0200
+++ b/Admin/CHECKLIST	Wed May 12 14:02:19 2010 +0200
@@ -19,6 +19,8 @@
 
 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;
 
+- diff NEWS wrt. last official release, which is read-only;
+
 - update https://isabelle.in.tum.de/repos/website;
 
 - maintain Docs: