1 \documentclass[10pt,
dvips,openbib
]{article
}
3 \usepackage[all,web,line,arc,tile,
color]{xy
}
4 \usepackage[plainpages=false,pdfpagelabels,breaklinks,pagebackref
]{hyperref
}
6 \usepackage{algorithm
} % after hyperref
12 \usepackage{supertabular
}
21 \title{\barvinok/: User Guide\\
22 \small Version:
\input{version
} }
23 \author{Sven Verdoolaege
}
27 \addcontentsline{toc
}{section
}{\contentsname}
36 \include{applications
}
40 \include{implementation
}
44 \bibliography{barvinok
}
45 \bibliographystyle{chicago
}
51 \let\savesection\section
52 \def\section#1#2{\savesection#1#2\addcontentsline{toc
}{section
}{\indexname}}
54 \let\section\savesection