| changeset 10308 | c50fc8023ac0 |
| parent 10021 | 6d5d618b302c |
| child 10353 | b1b3f25750f4 |
| 10307:0df0bbd7e324 | 10308:c50fc8023ac0 |
|---|---|
196 %for best-style documents ... |
196 %for best-style documents ... |
197 \urlstyle{rm} |
197 \urlstyle{rm} |
198 \isabellestyle{it} |
198 \isabellestyle{it} |
199 |
199 |
200 \begin{document} |
200 \begin{document} |
201 \title{$NAME}\maketitle |
|
202 \tableofcontents |
|
201 \input{session} |
203 \input{session} |
202 \end{document} |
204 \end{document} |
203 |
205 |
204 EOF |
206 EOF |
205 fi |
207 fi |