--- 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)