Admin/website/TODO

--- a/Admin/website/TODO	Tue Oct 04 10:58:46 2005 +0200
+++ b/Admin/website/TODO	Tue Oct 04 11:15:09 2005 +0200
@@ -2,9 +2,7 @@
 - announce build bed
 - abandon old scripts: mirror-*, rsyncisabelle
 - abandon old cache
-- cleanup old dist
-- redirect link -> proper sublinks
-- cleanup website mess (new dir "projects/")
+- cleanup website mess
 
 In the mid-time:
 - a gentle intro enumeration on Home - "Why Isabelle?"