| changeset 15414 | d945f05e75a2 |
| parent 15412 | 7f373e478a5a |
| child 15417 | b488b290eccb |
| 15413:901d1bfedf09 | 15414:d945f05e75a2 |
|---|---|
17 |
17 |
18 - update or remove ex/MT (Larry? Tobias?) |
18 - update or remove ex/MT (Larry? Tobias?) |
19 |
19 |
20 - Include IsaPlanner? (Larry to co-ordinate) |
20 - Include IsaPlanner? (Larry to co-ordinate) |
21 |
21 |
22 - update LaTeXsugari, remove references to future Isabelle2005 etc. (Gerwin) |
|
23 |
|
22 - remove this file (Tobias) |
24 - remove this file (Tobias) |