update isl for hiding of isl_options
[barvinok.git] / doc / barvinok.tex
blob290ddde3d91917abe1c644ad4d18c19164ce9a08
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}
12 \usepackage{supertabular}
14 \makeglossary
15 \makeindex
17 \newdimen\intercol
19 \begin{document}
21 \title{\barvinok/: User Guide\\
22 \small Version: \input{version} }
23 \author{Sven Verdoolaege}
25 \maketitle
27 \addcontentsline{toc}{section}{\contentsname}
28 \tableofcontents
30 \listoffigures
32 \include{isl}
34 \include{Internal}
36 \include{applications}
38 \include{polymake}
40 \include{implementation}
42 \include{reports}
44 \bibliography{barvinok}
45 \bibliographystyle{chicago}
47 \printglosstex(acr)
49 \index{index|(}
51 \let\savesection\section
52 \def\section#1#2{\savesection#1#2\addcontentsline{toc}{section}{\indexname}}
53 \printindex
54 \let\section\savesection
56 \index{index|)}
58 \end{document}