| changeset 15310 | 7a5ded09f68b |
| parent 15139 | 58cd3404cf75 |
| child 15317 | ebdd193e15ec |
| 15309:173669c88fd2 | 15310:7a5ded09f68b |
|---|---|
1 For Isabelle2005: |
1 For Isabelle2005: |
2 |
2 |
3 - update course material slides to new theory format |
3 - update course material slides to new theory format (Tobias) |
4 |
4 |
5 - remove this file |
5 - modular generation of ML code with structures (Stefan) |
6 |
|
7 - finding rewrite rules based on PG subterm selection (Tobias) |
|
8 |
|
9 - a global "disprove" menu item both as an action and (if it can be done) |
|
10 as a setting (Stefan & Tjark) |
|
11 |
|
12 - remove this file (Tobias) |