equal
deleted
inserted
replaced
17 \author{\emph{Makarius Wenzel} \\[3ex] |
17 \author{\emph{Makarius Wenzel} \\[3ex] |
18 With Contributions by |
18 With Contributions by |
19 Florian Haftmann |
19 Florian Haftmann |
20 and Larry Paulson |
20 and Larry Paulson |
21 } |
21 } |
22 |
|
23 %FIXME |
|
24 %\makeglossary |
|
25 |
22 |
26 \makeindex |
23 \makeindex |
27 |
24 |
28 |
25 |
29 \begin{document} |
26 \begin{document} |
83 \tocentry{\bibname} |
80 \tocentry{\bibname} |
84 \bibliographystyle{plain} \small\raggedright\frenchspacing |
81 \bibliographystyle{plain} \small\raggedright\frenchspacing |
85 \bibliography{../manual} |
82 \bibliography{../manual} |
86 \endgroup |
83 \endgroup |
87 |
84 |
88 %FIXME |
|
89 %\tocentry{\glossaryname} |
|
90 %\printglossary |
|
91 |
|
92 \tocentry{\indexname} |
85 \tocentry{\indexname} |
93 \printindex |
86 \printindex |
94 |
87 |
95 \end{document} |
88 \end{document} |
96 |
89 |