update isl for rename of isl_pw_qpolynomial_move
[barvinok.git] / bernstein / 
treea376e924e7bf64c08a36a91ed2b8544bf495ad80
drwxr-xr-x   ..
-rw-r--r-- 866 Makefile.am
-rw-r--r-- 660 README
-rwxr-xr-x 91 autogen.sh
-rw-r--r-- 3308 configure.in
drwxr-xr-x - examples
drwxr-xr-x - include
drwxr-xr-x - m4
drwxr-xr-x - src