doc-src/Codegen/codegen.tex
changeset 31050 555b56b66fcf
parent 30836 1344132160bb
child 33926 dd017d9db05f
equal deleted inserted replaced
31049:396d4d6a1594 31050:555b56b66fcf
    30 \pagenumbering{roman}
    30 \pagenumbering{roman}
    31 \clearfirst
    31 \clearfirst
    32 
    32 
    33 \input{Thy/document/Introduction.tex}
    33 \input{Thy/document/Introduction.tex}
    34 \input{Thy/document/Program.tex}
    34 \input{Thy/document/Program.tex}
    35 \input{Thy/document/Adaption.tex}
    35 \input{Thy/document/Adaptation.tex}
    36 \input{Thy/document/Further.tex}
    36 \input{Thy/document/Further.tex}
    37 \input{Thy/document/ML.tex}
    37 \input{Thy/document/ML.tex}
    38 
    38 
    39 \begingroup
    39 \begingroup
    40 \bibliographystyle{plain} \small\raggedright\frenchspacing
    40 \bibliographystyle{plain} \small\raggedright\frenchspacing