add isl_set_count
[isl.git] / doc / manual.tex
blob14f462af43c91e9cc3cae7359732cecf4864bbe3
1 \documentclass{article}
3 \begin{document}
5 \title{Integer Set Library: Manual}
6 \author{Sven Verdoolaege}
8 \maketitle
9 \tableofcontents
11 \input{user}
13 \end{document}