# HG changeset patch
# User wenzelm
# Date 1122556785 -7200
# Node ID 8d0daa50f3816d401022686080eb89dad9d054d2
# Parent  b23c54fd31f713de655dfbdc6e00b2bb30e50b14
updated;

diff -r b23c54fd31f7 -r 8d0daa50f381 TODO
--- a/TODO	Thu Jul 28 15:19:44 2005 +0200
+++ b/TODO	Thu Jul 28 15:19:45 2005 +0200
@@ -2,8 +2,6 @@
 
 - update course material slides to new theory headers (Tobias)
 
-- shell script to convert to new theory headers
-
 - attach additional ML code to consts_code section (Stefan)
 
 - modular generation of ML code with structures (Stefan)