# HG changeset patch
# User wenzelm
# Date 1216306914 -7200
# Node ID 66fcb7e9baef131a836ef2a8c57eaaa6ff71599e
# Parent  be8b5001bc3973506d3c95ed5152414e9fccd4e8
tuned;

diff -r be8b5001bc39 -r 66fcb7e9baef Admin/CHECKLIST
--- a/Admin/CHECKLIST	Thu Jul 17 16:56:50 2008 +0200
+++ b/Admin/CHECKLIST	Thu Jul 17 17:01:54 2008 +0200
@@ -16,9 +16,8 @@
 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
 
 - maintain Docs:
-    Doc/Contents
+    Doc/Dirs
     Distribution/doc/Contents
-    Admin/index.html (? FIXME ?)
 
 - maintain Logics:
     Admin/makedist
diff -r be8b5001bc39 -r 66fcb7e9baef Admin/README
--- a/Admin/README	Thu Jul 17 16:56:50 2008 +0200
+++ b/Admin/README	Thu Jul 17 17:01:54 2008 +0200
@@ -2,4 +2,4 @@
 $Id$
 
 This directory contains some administrative tools for the Isabelle
-repository at TUM. They do not appear in public distributions.
+repository at TUM.  They do not appear in proper distributions.