equal
deleted
inserted
replaced
14 \usepackage{framed} |
14 \usepackage{framed} |
15 \usepackage{boxedminipage} |
15 \usepackage{boxedminipage} |
16 \usepackage{mathpartir} |
16 \usepackage{mathpartir} |
17 \usepackage{flafter} |
17 \usepackage{flafter} |
18 \usepackage{makeidx} |
18 \usepackage{makeidx} |
|
19 \usepackage{tocbibind} |
19 \usepackage{pdfsetup} |
20 \usepackage{pdfsetup} |
20 |
21 |
21 \urlstyle{rm} |
22 \urlstyle{rm} |
22 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
23 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
23 \renewcommand{\isastyleminor}{\tt\slshape}% |
24 \renewcommand{\isastyleminor}{\tt\slshape}% |
24 \renewcommand{\isastyle}{\small\tt\slshape}% |
25 \renewcommand{\isastyle}{\small\tt\slshape}% |
25 \isadroptag{theory} |
26 \isadroptag{theory} |
26 |
|
27 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
28 % adding chapters explicitly to the table of content |
|
29 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}} |
|
30 |
27 |
31 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
32 % indexing |
29 % indexing |
33 \makeindex |
30 \makeindex |
34 \newcommand{\indexdef}[2]{\index{#1 (#2)}} |
31 \newcommand{\indexdef}[2]{\index{#1 (#2)}} |
159 \end{tabular}} |
156 \end{tabular}} |
160 |
157 |
161 \maketitle |
158 \maketitle |
162 |
159 |
163 % table of contents |
160 % table of contents |
164 \tocentry{\contentsname} |
161 \frontmatter |
165 \setcounter{tocdepth}{1} |
162 \setcounter{tocdepth}{1} |
166 \tableofcontents |
163 \tableofcontents |
167 |
164 |
168 % generated text of all theories |
165 % generated text of all theories |
|
166 \mainmatter |
169 \input{session} |
167 \input{session} |
170 |
168 |
171 % bibliography |
169 % bibliography |
172 \tocentry{\bibname} |
170 \backmatter |
173 \bibliographystyle{abbrv} |
171 \bibliographystyle{abbrv} |
174 \bibliography{root} |
172 \bibliography{root} |
175 |
173 |
176 % index |
174 % index |
177 \tocentry{\indexname} |
|
178 \printindex |
175 \printindex |
179 |
176 |
180 \end{document} |
177 \end{document} |
181 |
178 |
182 %%% Local Variables: |
179 %%% Local Variables: |