# HG changeset patch
# User webertj
# Date 1114525903 -7200
# Node ID 29bda008409ef824d919638a1955e3f034f1e8c9
# Parent  462ea91888230c2e062af8240e1218e4b8e5ddcd
HTML standard conformity: done

diff -r 462ea9188823 -r 29bda008409e TODO
--- 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)