isl_basic_set_sample: perform basis reduction at each level by default
[isl.git] / doc / 
tree75fe171219a3d87c13bc1b2bc75f9f84f992f01f
drwxr-xr-x   ..
-rw-r--r-- 548 Makefile.am
-rw-r--r-- 1731 SubmittingPatches
-rw-r--r-- 39394 chicago.bst
-rw-r--r-- 11872 chicago.sty
-rw-r--r-- 80521 implementation.tex
-rw-r--r-- 10363 isl.bib
-rw-r--r-- 1962 manual.tex
-rwxr-xr-x 207 mypod2latex
-rw-r--r-- 160702 user.pod