--- a/Admin/website/TODO Tue Sep 27 17:03:54 2005 +0200
+++ b/Admin/website/TODO Tue Sep 27 17:09:46 2005 +0200
@@ -1,5 +1,5 @@
For the release:
-- make build bed (~/isabelle/website_build)
+- make build bed ()
- abandon old scripts: mirror-*, rsyncisabelle
- abandon old cache
- cleanup old dist