equal
deleted
inserted
replaced
29 \pagenumbering{roman} \tableofcontents \clearfirst |
29 \pagenumbering{roman} \tableofcontents \clearfirst |
30 |
30 |
31 \input{Thy/document/Basics.tex} |
31 \input{Thy/document/Basics.tex} |
32 \input{Thy/document/Interfaces.tex} |
32 \input{Thy/document/Interfaces.tex} |
33 \input{Thy/document/Presentation.tex} |
33 \input{Thy/document/Presentation.tex} |
|
34 \input{Thy/document/Scala.tex} |
34 \input{Thy/document/Misc.tex} |
35 \input{Thy/document/Misc.tex} |
35 |
36 |
36 \begingroup |
37 \begingroup |
37 \bibliographystyle{abbrv} \small\raggedright\frenchspacing |
38 \bibliographystyle{abbrv} \small\raggedright\frenchspacing |
38 \bibliography{../manual} |
39 \bibliography{../manual} |