Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
HTML conformity
authorwebertj
Tue, 23 Nov 2004 17:47:37 +0100
changeset 15317 ebdd193e15ec
parent 15316 2a6ff941a115
child 15318 e9669e0d6452
HTML conformity
TODO file | annotate | diff | comparison | revisions 
--- 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)
isabelle