--- 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$