equal
deleted
inserted
replaced
10 |
10 |
11 - Library/ExecutableSet.thy (Stefan) |
11 - Library/ExecutableSet.thy (Stefan) |
12 |
12 |
13 - a global "disprove" menu item both as an action and (if it can be done) |
13 - a global "disprove" menu item both as an action and (if it can be done) |
14 as a setting (Stefan & Tjark) |
14 as a setting (Stefan & Tjark) |
15 |
|
16 - check/establish conformity of HTML files to (some version of) the HTML |
|
17 language specification (cf. http://validator.w3.org/) (Tjark, or anyone |
|
18 who is interested) |
|
19 |
15 |
20 - update or remove ex/MT (Larry) |
16 - update or remove ex/MT (Larry) |
21 |
17 |
22 - Include IsaPlanner? (Larry to co-ordinate) |
18 - Include IsaPlanner? (Larry to co-ordinate) |
23 |
19 |