Admin/CHECKLIST
changeset 30852 59a422908e29
parent 30189 3633f560f4c3
child 30888 a8f9e12d815e
     1.1 --- a/Admin/CHECKLIST	Thu Apr 02 14:09:41 2009 +0200
     1.2 +++ b/Admin/CHECKLIST	Thu Apr 02 14:30:16 2009 +0200
     1.3 @@ -20,12 +20,9 @@
     1.4      doc/Contents
     1.5  
     1.6  - maintain Logics:
     1.7 -    Admin/makedist
     1.8      build
     1.9      lib/Tools/makeall
    1.10 -    lib/html/index.html
    1.11 -    doc-src/Logics/intro.tex
    1.12 -    doc-src/Logics/logics.tex
    1.13 +    lib/html/library_index_content.template
    1.14  
    1.15  - after release: 
    1.16      commit new ~isabelle/website/include/documentationdist.include.html to website SVN