isl_map_closure: optionally use Omega-like algorithm
[platform/upstream/isl.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 428 Makefile.am
-rw-r--r-- 39394 chicago.bst
-rw-r--r-- 11872 chicago.sty
-rw-r--r-- 27157 implementation.tex
-rw-r--r-- 2480 isl.bib
-rw-r--r-- 1345 manual.tex
-rwxr-xr-x 207 mypod2latex
-rw-r--r-- 48934 user.pod