equal
deleted
inserted
replaced
11 |
11 |
12 - check/establish conformity of HTML files to (some version of) the HTML |
12 - check/establish conformity of HTML files to (some version of) the HTML |
13 language specification (cf. http://validator.w3.org/) (Tjark, or anyone |
13 language specification (cf. http://validator.w3.org/) (Tjark, or anyone |
14 who is interested) |
14 who is interested) |
15 |
15 |
16 - fix the inductive definition bug (Larry): Equations in the intro rules can make proofs fail. Perhaps the critical proof could "protect" the initial equations e.g. by disjoining False, and removing this later. |
|
17 |
|
18 - update or remove ex/MT (Larry? Tobias?) |
16 - update or remove ex/MT (Larry? Tobias?) |
19 |
17 |
20 - Include IsaPlanner? (Larry to co-ordinate) |
18 - Include IsaPlanner? (Larry to co-ordinate) |
21 |
19 |
22 - update LaTeXsugari, remove references to future Isabelle2005 etc. (Gerwin) |
20 - update LaTeXsugari, remove references to future Isabelle2005 etc. (Gerwin) |