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 standard conformity: done
authorwebertj
Tue, 26 Apr 2005 16:31:43 +0200
changeset 15841 29bda008409e
parent 15840 462ea9188823
child 15842 30a4267c6301
HTML standard conformity: done
TODO file | annotate | diff | comparison | revisions 
--- 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)
isabelle