# HG changeset patch
# User wenzelm
# Date 1193249868 -7200
# Node ID 1cd45207dd3f03d33dbc3afbcaca148f390b8f2c
# Parent  f9ced25685e0181e0877d2d9dd235852dad6c8c1
tuned;

diff -r f9ced25685e0 -r 1cd45207dd3f Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed Oct 24 20:17:48 2007 +0200
+++ b/Admin/CHECKLIST	Wed Oct 24 20:17:48 2007 +0200
@@ -3,7 +3,7 @@
 
 - Admin/update-keywords;
 
-- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
+- check ANNOUNCE, README.html, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
 
 - run tests with all supported ML systems;