TODO
author quigley
Thu Mar 31 20:12:54 2005 +0200 (2005-03-31 ago)
changeset 15644 f2ef8c258fa4
parent 15445 8244894d0a41
child 15654 d53e5370cfbf
permissions -rw-r--r--
*** empty log message ***
     1 For Isabelle2005:
     2 
     3 - update course material slides to new theory format (Tobias)
     4 
     5 - attach additional ML code to consts_code section (Stefan)
     6 
     7 - modular generation of ML code with structures (Stefan)
     8 
     9 - Library/ExecutableSet.thy (Stefan)
    10 
    11 - a global "disprove" menu item both as an action and (if it can be done)
    12   as a setting (Stefan & Tjark)
    13 
    14 - check/establish conformity of HTML files to (some version of) the HTML
    15   language specification (cf. http://validator.w3.org/) (Tjark, or anyone
    16   who is interested)
    17 
    18 - update or remove ex/MT (Larry)  
    19 
    20 - Include IsaPlanner? (Larry to co-ordinate)
    21 
    22 - update LaTeXsugar, remove references to future Isabelle2005 etc. (Gerwin)
    23 
    24 - rules -> iprover (Stefan)
    25 
    26 - remove this file (Tobias)