--- a/Admin/website/TODO Wed Jul 12 17:00:33 2006 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-- a gentle intro enumeration on Home - "Why Isabelle?"
- * stably running, mature system
- * (something to say about Isar?)
- * big library
- * big community
- * it's free
- * ...
- (to discuss)
-- clarify relationship of "overview" and "logics":
- * overview: Isabelle/HOL
- * logics: Isabelle system
- (to discuss)
-
-- world_map: automated generation from coordinate data
-- world_map: more content in HTML, less in java script
\ No newline at end of file