update isl for hiding of isl_options
[barvinok.git] / doc / 
treeac3c5152fc87a0396c9c162bf3384dc7641dacae
drwxr-xr-x   ..
-rw-r--r-- 37477 Internal.tex
-rw-r--r-- 550 Makefile.am
-rw-r--r-- 14849 applications.tex
-rw-r--r-- 38393 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-- 40555 isl.tex
-rw-r--r-- 5839 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