--- a/Admin/Release/CHECKLIST Tue Aug 28 16:43:47 2012 +0200
+++ b/Admin/Release/CHECKLIST Tue Aug 28 17:49:02 2012 +0200
@@ -26,7 +26,6 @@
- update https://isabelle.in.tum.de/repos/website;
- maintain Docs:
- doc-src/Dirs
doc/Contents
- maintain Logics: