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