changeset 27635 | 66fcb7e9baef |
parent 27016 | dfc4171b7b8b |
child 28956 | 64754369cee3 |
--- a/Admin/CHECKLIST Thu Jul 17 16:56:50 2008 +0200 +++ b/Admin/CHECKLIST Thu Jul 17 17:01:54 2008 +0200 @@ -16,9 +16,8 @@ - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website; - maintain Docs: - Doc/Contents + Doc/Dirs Distribution/doc/Contents - Admin/index.html (? FIXME ?) - maintain Logics: Admin/makedist