| changeset 8828 | 5be2d1745c61 |
| parent 8596 | b2ef22670f25 |
| child 8896 | c80aba8c1d5e |
| 8827:5c5c68f4610d | 8828:5be2d1745c61 |
|---|---|
118 \begingroup |
118 \begingroup |
119 \bibliographystyle{plain} \small\raggedright\frenchspacing |
119 \bibliographystyle{plain} \small\raggedright\frenchspacing |
120 \bibliography{../manual} |
120 \bibliography{../manual} |
121 \endgroup |
121 \endgroup |
122 |
122 |
123 \input{isar-ref.ind} |
123 \printindex |
124 |
124 |
125 \end{document} |
125 \end{document} |