--- a/TODO Tue Nov 23 09:08:35 2004 +0100
+++ b/TODO Tue Nov 23 14:21:24 2004 +0100
@@ -1,5 +1,12 @@
For Isabelle2005:
-- update course material slides to new theory format
+- update course material slides to new theory format (Tobias)
+
+- modular generation of ML code with structures (Stefan)
-- remove this file
+- finding rewrite rules based on PG subterm selection (Tobias)
+
+- a global "disprove" menu item both as an action and (if it can be done)
+ as a setting (Stefan & Tjark)
+
+- remove this file (Tobias)