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