--- a/Admin/website/TODO Mon Mar 27 18:10:02 2006 +0200
+++ b/Admin/website/TODO Tue Mar 28 10:13:51 2006 +0200
@@ -1,4 +1,3 @@
-In the mid-time:
- a gentle intro enumeration on Home - "Why Isabelle?"
* stably running, mature system
* (something to say about Isar?)