# HG changeset patch
# User kleing
# Date 1103167160 -3600
# Node ID d945f05e75a2c7acd4aae38bae84388e9137289d
# Parent  901d1bfedf09bb2c2a84dee118b57dee9fc06121
LaTeXsugar

diff -r 901d1bfedf09 -r d945f05e75a2 TODO
--- 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)