iscc: allow overloading binary ops
[barvinok.git] / doc / barvinok.tex
blob22a49919271e40a9c62d8cef9342366f086db1d3
1 \documentclass[10pt,dvips,openbib]{article}
2 \usepackage{makeidx}
3 \usepackage[all,web,line,arc,tile,color]{xy}
4 \usepackage[plainpages=false,pdfpagelabels,breaklinks,pagebackref]{hyperref}
5 \usepackage{mydefs}
6 \usepackage{algorithm} % after hyperref
7 \usepackage{chicago}
8 \usepackage{glosstex}
9 \usepackage{newproof}
10 \usepackage{txfonts}
11 \usepackage{graphicx}
13 \makeglossary
14 \makeindex
16 \newdimen\intercol
18 \begin{document}
20 \title{\barvinok/: User Guide\\
21 \small Version: \input{version} }
22 \author{Sven Verdoolaege}
24 \maketitle
26 \addcontentsline{toc}{section}{\contentsname}
27 \tableofcontents
29 \listoffigures
31 \include{isl}
33 \include{Internal}
35 \include{applications}
37 \include{polymake}
39 \include{omega}
41 \include{implementation}
43 \include{reports}
45 \bibliography{barvinok}
46 \bibliographystyle{chicago}
48 \printglosstex(acr)
50 \index{index|(}
52 \let\savesection\section
53 \def\section#1#2{\savesection#1#2\addcontentsline{toc}{section}{\indexname}}
54 \printindex
55 \let\section\savesection
57 \index{index|)}
59 \end{document}