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
20 \title{\barvinok/: User Guide\\
21 \small Version:
\input{version
} }
22 \author{Sven Verdoolaege
}
26 \addcontentsline{toc
}{section
}{\contentsname}
35 \include{applications
}
41 \include{implementation
}
45 \bibliography{barvinok
}
46 \bibliographystyle{chicago
}
52 \let\savesection\section
53 \def\section#1#2{\savesection#1#2\addcontentsline{toc
}{section
}{\indexname}}
55 \let\section\savesection