# HG changeset patch
# User nipkow
# Date 1117611966 -7200
# Node ID 6b0d68207c140b94547aefe154fb81d885824d04
# Parent  a9f460f16fd6523a748b3d9541c55bbc3182ae8e
*** empty log message ***

diff -r a9f460f16fd6 -r 6b0d68207c14 TODO
--- a/TODO	Wed Jun 01 08:58:25 2005 +0200
+++ b/TODO	Wed Jun 01 09:46:06 2005 +0200
@@ -19,8 +19,6 @@
 
 - Include IsaPlanner? (Larry to co-ordinate)
 
-- update LaTeXsugar, remove references to future Isabelle2005 etc. (Gerwin)
-
 - rules -> iprover (Stefan)
 
 - ball, bex and setsum congruence rules (Tobias & Stefan)