author | wenzelm |
Wed, 24 Oct 2007 20:17:48 +0200 (2007-10-24) | |
changeset 25178 | 1cd45207dd3f |
parent 25177 | f9ced25685e0 |
child 25179 | b84f3c3c27f2 |
Admin/CHECKLIST | file | annotate | diff | comparison | revisions |
--- 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;