equal
deleted
inserted
replaced
|
1 |
|
2 section {* Sessions and document preparation *} |
|
3 |
1 section {* Structured output *} |
4 section {* Structured output *} |
2 |
5 |
3 subsection {* Pretty printing *} |
6 subsection {* Pretty printing *} |
4 |
7 |
5 text FIXME |
8 text FIXME |