| changeset 131 | 8db9195bb3e9 |
| parent 129 | e0d368a45537 |
| child 162 | 3fb9f820a294 |
| 130:a21d7b300616 | 131:8db9195bb3e9 |
|---|---|
5 |
5 |
6 text {* \appendix *} |
6 text {* \appendix *} |
7 |
7 |
8 text {* |
8 text {* |
9 Possible topics: translations/print translations |
9 Possible topics: translations/print translations |
10 |
|
11 *} |
10 *} |
12 |
11 |
13 |
12 |
14 chapter {* Recipes *} |
13 chapter {* Recipes *} |
14 |
|
15 text {* |
|
16 Possible topics: translations/print translations |
|
17 |
|
18 User Space Type Systems (in the already existing form) |
|
19 *} |
|
15 |
20 |
16 end |
21 end |
17 |
22 |
18 |
23 |
19 |
24 |