changeset 12669 | c1436070c21e |
parent 12639 | 71605f976d50 |
child 12790 | 8108791e2906 |
1.1 --- a/doc-src/TutorialI/tutorial.tex Tue Jan 08 17:31:43 2002 +0100 1.2 +++ b/doc-src/TutorialI/tutorial.tex Tue Jan 08 17:32:13 2002 +0100 1.3 @@ -55,8 +55,8 @@ 1.4 1.5 \cleardoublepage\pagenumbering{arabic} 1.6 1.7 -\part{Basic Techniques} %FIXME rename part to "Basic Concepts" (??) 1.8 -\input{basics} %FIXME mmw: rename section, move it before part I (??) 1.9 +\part{Elementary Techniques} 1.10 +\input{basics} 1.11 \input{fp} 1.12 \input{Documents/documents} 1.13