tuned;
authorwenzelm
Wed, 24 Oct 2007 20:17:48 +0200 (2007-10-24)
changeset 25178 1cd45207dd3f
parent 25177 f9ced25685e0
child 25179 b84f3c3c27f2
tuned;
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;