add isl_set_n_basic_set
[isl.git] / doc / 
treec37d87893cfdab91d9f0dbb7dd20264830d79e4f
drwxr-xr-x   ..
-rw-r--r-- 548 Makefile.am
-rw-r--r-- 39394 chicago.bst
-rw-r--r-- 11872 chicago.sty
-rw-r--r-- 40553 implementation.tex
-rw-r--r-- 3107 isl.bib
-rw-r--r-- 1544 manual.tex
-rwxr-xr-x 207 mypod2latex
-rw-r--r-- 84676 user.pod