| changeset 15419 | 1d63862c70d9 |
| parent 15417 | b488b290eccb |
| child 15424 | 7a91490c1b04 |
| 15418:e28853da5df5 | 15419:1d63862c70d9 |
|---|---|
15 |
15 |
16 - update or remove ex/MT (Larry? Tobias?) |
16 - update or remove ex/MT (Larry? Tobias?) |
17 |
17 |
18 - Include IsaPlanner? (Larry to co-ordinate) |
18 - Include IsaPlanner? (Larry to co-ordinate) |
19 |
19 |
20 - update LaTeXsugari, remove references to future Isabelle2005 etc. (Gerwin) |
20 - update LaTeXsugar, remove references to future Isabelle2005 etc. (Gerwin) |
21 |
21 |
22 - remove this file (Tobias) |
22 - remove this file (Tobias) |