# HG changeset patch
# User nipkow
# Date 1101216084 -3600
# Node ID 7a5ded09f68beb174c0fc4c732746743b24d34ed
# Parent  173669c88fd2fce49824465eb8daa42370c74739
*** empty log message ***

diff -r 173669c88fd2 -r 7a5ded09f68b TODO
--- 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)