equal
deleted
inserted
replaced
1 \documentstyle[a4,12pt,proof,iman,extra]{report} |
1 \documentstyle[a4,12pt,rail,proof,iman,extra]{report} |
2 %% $Id$ |
2 %% $Id$ |
3 %%% \includeonly{thm} |
3 %%% \includeonly{thm} |
4 %%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\) [\\ttindexbold{\1} |
4 %%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\) [\\ttindexbold{\1} |
5 %%% to delete old ones: \\indexbold{\*[^}]*} |
5 %%% to delete old ones: \\indexbold{\*[^}]*} |
6 %% run sedindex ref to prepare index file |
6 %% run sedindex ref to prepare index file |
52 |
52 |
53 \begingroup |
53 \begingroup |
54 \bibliographystyle{plain} \small\raggedright\frenchspacing |
54 \bibliographystyle{plain} \small\raggedright\frenchspacing |
55 \bibliography{atp,funprog,general,logicprog,theory} |
55 \bibliography{atp,funprog,general,logicprog,theory} |
56 \endgroup |
56 \endgroup |
57 \include{Ref/theory-syntax} |
57 \include{theory-syntax} |
58 \addcontentsline{toc}{chapter}{Index}\input{ref.ind} |
58 \addcontentsline{toc}{chapter}{Index}\input{ref.ind} |
59 \end{document} |
59 \end{document} |