Admin/CHECKLIST

adjusted

+
−Checklist for official releases
+
−===============================
+
−
+
−- Admin/update-keywords;
+
−
+
−- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
+
−
+
−- run tests with all supported ML systems;
+
−
+
−- maintain Docs:
+
−    Doc/Contents
+
−    Distribution/doc/Contents
+
−    Admin/index.html (? FIXME ?)
+
−
+
−- maintain Logics:
+
−    Admin/makedist
+
−    Distribution/build
+
−    Distribution/lib/Tools/makeall
+
−    Distribution/lib/html/index.html
+
−    Doc/Logics/intro.tex
+
−    Doc/Logics/logics.tex
+
−
+
−- after release: 
+
−    commit new ~isabelle/website/include/documentationdist.include.html to website SVN
+
−
+
−$Id$