tuned;
authorwenzelm
Thu Jul 17 17:01:54 2008 +0200 (2008-07-17)
changeset 2763566fcb7e9baef
parent 27634 be8b5001bc39
child 27636 50e5e7b4e6f8
tuned;
Admin/CHECKLIST
Admin/README
     1.1 --- a/Admin/CHECKLIST	Thu Jul 17 16:56:50 2008 +0200
     1.2 +++ b/Admin/CHECKLIST	Thu Jul 17 17:01:54 2008 +0200
     1.3 @@ -16,9 +16,8 @@
     1.4  - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
     1.5  
     1.6  - maintain Docs:
     1.7 -    Doc/Contents
     1.8 +    Doc/Dirs
     1.9      Distribution/doc/Contents
    1.10 -    Admin/index.html (? FIXME ?)
    1.11  
    1.12  - maintain Logics:
    1.13      Admin/makedist
     2.1 --- a/Admin/README	Thu Jul 17 16:56:50 2008 +0200
     2.2 +++ b/Admin/README	Thu Jul 17 17:01:54 2008 +0200
     2.3 @@ -2,4 +2,4 @@
     2.4  $Id$
     2.5  
     2.6  This directory contains some administrative tools for the Isabelle
     2.7 -repository at TUM. They do not appear in public distributions.
     2.8 +repository at TUM.  They do not appear in proper distributions.