equal
deleted
inserted
replaced
12 \usepackage{xcolor} |
12 \usepackage{xcolor} |
13 \usepackage{framed} |
13 \usepackage{framed} |
14 \usepackage{boxedminipage} |
14 \usepackage{boxedminipage} |
15 \usepackage{mathpartir} |
15 \usepackage{mathpartir} |
16 \usepackage{flafter} |
16 \usepackage{flafter} |
17 \usepackage{makeidx} |
|
18 \usepackage{index} |
17 \usepackage{index} |
19 \usepackage{tocbibind} |
18 \usepackage{tocbibind} |
20 \usepackage{tikz} |
19 \usepackage{tikz} |
21 \usetikzlibrary{shadows} |
20 \usetikzlibrary{shadows} |
22 \usepackage{pdfsetup} |
21 \usepackage{pdfsetup} |
28 \renewcommand{\isastyle}{\small\tt\slshape}% |
27 \renewcommand{\isastyle}{\small\tt\slshape}% |
29 \isadroptag{theory} |
28 \isadroptag{theory} |
30 |
29 |
31 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
30 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
32 % indexing |
31 % indexing |
33 \makeindex |
32 \newindex{default}{idx}{ind}{Index} |
|
33 \newindex{str}{str}{stu}{Structure Index} |
34 |
34 |
35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
36 % For cross references to the other manuals: |
36 % For cross references to the other manuals: |
37 \usepackage{xr} |
37 \usepackage{xr} |
38 \externaldocument[I-]{implementation} |
38 \externaldocument[I-]{implementation} |
178 % bibliography |
178 % bibliography |
179 \backmatter |
179 \backmatter |
180 \bibliographystyle{abbrv} |
180 \bibliographystyle{abbrv} |
181 \bibliography{root} |
181 \bibliography{root} |
182 |
182 |
183 % index |
183 % indices |
|
184 \setindexname{Structure Index} |
|
185 \printindex[str] |
|
186 \setindexname{Index} |
184 \printindex |
187 \printindex |
185 |
188 |
186 \end{document} |
189 \end{document} |
187 |
190 |
188 %%% Local Variables: |
191 %%% Local Variables: |