# HG changeset patch
# User webertj
# Date 1101228457 -3600
# Node ID ebdd193e15ec10353a99fdb6ffcaf8cd2e7a02f3
# Parent  2a6ff941a1159f39c4e4f2024feb11cf3790f5e9
HTML conformity

diff -r 2a6ff941a115 -r ebdd193e15ec TODO
--- a/TODO	Tue Nov 23 16:43:03 2004 +0100
+++ b/TODO	Tue Nov 23 17:47:37 2004 +0100
@@ -9,4 +9,8 @@
 - 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)
+
 - remove this file (Tobias)