changeset 30852 | 59a422908e29 |
parent 30189 | 3633f560f4c3 |
child 30888 | a8f9e12d815e |
--- a/Admin/CHECKLIST Thu Apr 02 14:09:41 2009 +0200 +++ b/Admin/CHECKLIST Thu Apr 02 14:30:16 2009 +0200 @@ -20,12 +20,9 @@ doc/Contents - maintain Logics: - Admin/makedist build lib/Tools/makeall - lib/html/index.html - doc-src/Logics/intro.tex - doc-src/Logics/logics.tex + lib/html/library_index_content.template - after release: commit new ~isabelle/website/include/documentationdist.include.html to website SVN