--- a/TODO Wed Dec 15 17:32:40 2004 +0100
+++ b/TODO Thu Dec 16 04:19:20 2004 +0100
@@ -19,4 +19,6 @@
- Include IsaPlanner? (Larry to co-ordinate)
+- update LaTeXsugari, remove references to future Isabelle2005 etc. (Gerwin)
+
- remove this file (Tobias)