changeset 15841 | 29bda008409e |
parent 15838 | 2aee4e5b7925 |
child 15965 | f422f8283491 |
--- a/TODO Tue Apr 26 10:29:36 2005 +0200 +++ b/TODO Tue Apr 26 16:31:43 2005 +0200 @@ -13,10 +13,6 @@ - a global "disprove" menu item both as an action and (if it can be done) as a setting (Stefan & Tjark) -- check/establish conformity of HTML files to (some version of) the HTML - language specification (cf. http://validator.w3.org/) (Tjark, or anyone - who is interested) - - update or remove ex/MT (Larry) - Include IsaPlanner? (Larry to co-ordinate)