update isl for change in isl_hash_table_foreach
[barvinok.git] / doc / 
tree619a2c9697d0b2a16e65fc473b807b60b7ae2f2f
drwxr-xr-x   ..
-rw-r--r-- 37250 Internal.tex
-rw-r--r-- 550 Makefile.am
-rw-r--r-- 17267 applications.tex
-rw-r--r-- 37719 barvinok.bib
-rw-r--r-- 3039 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-- 196413 implementation.tex
-rw-r--r-- 7635 isl.tex
-rw-r--r-- 5561 mydefs.sty
-rw-r--r-- 1501 newproof.sty
-rw-r--r-- 627 polymake.tex
-rw-r--r-- 1655 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