TODO
changeset 15317 ebdd193e15ec
parent 15310 7a5ded09f68b
child 15330 630981482718
equal deleted inserted replaced
15316:2a6ff941a115 15317:ebdd193e15ec
     7 - finding rewrite rules based on PG subterm selection (Tobias)
     7 - finding rewrite rules based on PG subterm selection (Tobias)
     8 
     8 
     9 - a global "disprove" menu item both as an action and (if it can be done)
     9 - a global "disprove" menu item both as an action and (if it can be done)
    10   as a setting (Stefan & Tjark)
    10   as a setting (Stefan & Tjark)
    11 
    11 
       
    12 - check/establish conformity of HTML files to (some version of) the HTML
       
    13   language specification (cf. http://validator.w3.org/) (Tjark, or anyone
       
    14   who is interested)
       
    15 
    12 - remove this file (Tobias)
    16 - remove this file (Tobias)