update isl for rename of isl_basic_set_product
tree43d5ab49a9a71df2702df34b75d9c14b45757d5b
-rw-r--r-- 656 .gitignore
-rw-r--r-- 62 .gitmodules
-rw-r--r-- 24388 LICENSE
-rw-r--r-- 6347 Makefile.am
-rw-r--r-- 9203 README
drwxr-xr-x - autoconf
-rwxr-xr-x 139 autogen.sh
-rw-r--r-- 8112 configure.in
drwxr-xr-x - doc
drwxr-xr-x - examples
-rwxr-xr-x 352 genversion.sh.in
-rwxr-xr-x 50 get_submodules.sh
drwxr-xr-x - include
m--------- - isl
drwxr-xr-x - m4
drwxr-xr-x - source
drwxr-xr-x - test