diff -r 04cb7e02ca38 -r 54b390300227 Admin/CHECKLIST --- a/Admin/CHECKLIST Tue Oct 30 10:51:35 2007 +0100 +++ b/Admin/CHECKLIST Tue Oct 30 12:14:22 2007 +0100 @@ -10,7 +10,7 @@ - maintain Docs: Doc/Contents Distribution/doc/Contents - Admin/index.html + Admin/index.html (? FIXME ?) - maintain Logics: Admin/makedist @@ -22,8 +22,5 @@ - after release: commit new ~isabelle/website/include/documentationdist.include.html to website SVN - !!! commit new Admin/website/conf/distname.mak to CVS - !!! this is currently not part of CVS, so ignore this description; - !!! perhaps we will need to add it $Id$