Admin/website/TODO

--- a/Admin/website/TODO	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/TODO	Wed Sep 21 16:37:37 2005 +0200
@@ -22,10 +22,3 @@
     * overview: Isabelle/HOL   
     * logics:   Isabelle system
   (to discuss)
-
-- introduce "mirror switch boxes"
-  (to discuss)
-
-Visionary:
-
-- unify dist and main
\ No newline at end of file