| changeset 272 | 42f2c28d1ce6 |
| parent 237 | 06a6db387cd2 |
| child 298 | ac5461882f3e |
| 271:4457185b22ef | 272:42f2c28d1ce6 |
|---|---|
28 |
28 |
29 isabelle build -d . UTM |
29 isabelle build -d . UTM |
30 isabelle make utm -- creates the big session file |
30 isabelle make utm -- creates the big session file |
31 |
31 |
32 isabelle make itp -- creates paper |
32 isabelle make itp -- creates paper |
33 |
|
34 |
|
35 |
|
36 ============================ |
|
37 ROOT setup |
|
38 |
|
39 isabelle build -d . Slides2 |