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
19 \title{\barvinok/: User Guide\\
20 \small Version:
\input{version
} }
21 \author{Sven Verdoolaege
}
25 \addcontentsline{toc
}{section
}{\contentsname}
32 \include{applications
}
38 \include{implementation
}
42 \bibliography{barvinok
}
43 \bibliographystyle{chicago
}
49 \let\savesection\section
50 \def\section#1#2{\savesection#1#2\addcontentsline{toc
}{section
}{\indexname}}
52 \let\section\savesection