update isl for rename of !isl_set_dim_has_{lower,upper}_bound
[barvinok.git] / doc / 
treee16728de362615363d4287dd64644f049eb0e61d
drwxr-xr-x   ..
-rw-r--r-- 37477 Internal.tex
-rw-r--r-- 550 Makefile.am
-rw-r--r-- 14849 applications.tex
-rw-r--r-- 39896 barvinok.bib
-rw-r--r-- 3081 barvinok.gdf
-rw-r--r-- 1025 barvinok.tex
-rw-r--r-- 39394 chicago.bst
-rw-r--r-- 11872 chicago.sty
-rw-r--r-- 2648 glosstex.ist
-rw-r--r-- 3859 glosstex.std
-rw-r--r-- 24881 glosstex.sty
-rw-r--r-- 195787 implementation.tex
-rw-r--r-- 40644 isl.tex
-rw-r--r-- 5839 mydefs.sty
-rw-r--r-- 1501 newproof.sty
-rw-r--r-- 627 polymake.tex
-rw-r--r-- 1685 reports.tex
-rw-r--r-- 18551 sum.eps
-rw-r--r-- 332 sum.gp
-rw-r--r-- 15533 sum_p.eps
-rw-r--r-- 307 sum_p.gp
-rw-r--r-- 65 sum_p_times_0
-rw-r--r-- 0 sum_p_times_1
-rw-r--r-- 243 sum_p_times_2
-rw-r--r-- 137 sum_p_times_3
-rw-r--r-- 186 sum_p_times_4
-rw-r--r-- 70 sum_times_0
-rw-r--r-- 429 sum_times_1
-rw-r--r-- 664 sum_times_2
-rw-r--r-- 1461 sum_times_3
-rw-r--r-- 1406 sum_times_4