# HG changeset patch
# User kleing
# Date 1103283580 -3600
# Node ID 1d63862c70d9feb38e337b1d4fd6309a45ec835d
# Parent  e28853da5df5852d5edcf566d61d8673f49bd059
sugar, not sugari. stupid vi ;-)

diff -r e28853da5df5 -r 1d63862c70d9 TODO
--- a/TODO	Fri Dec 17 10:15:46 2004 +0100
+++ b/TODO	Fri Dec 17 12:39:40 2004 +0100
@@ -17,6 +17,6 @@
 
 - Include IsaPlanner? (Larry to co-ordinate)
 
-- update LaTeXsugari, remove references to future Isabelle2005 etc. (Gerwin)
+- update LaTeXsugar, remove references to future Isabelle2005 etc. (Gerwin)
 
 - remove this file (Tobias)