update isl to version 0.23
[barvinok.git] / doc / 
treee63e5cc22aa5963e1ba64b4da0a5c3622855f697
drwxr-xr-x   ..
-rw-r--r-- 37443 Internal.tex
-rw-r--r-- 982 Makefile.am
-rw-r--r-- 14842 applications.tex
-rw-r--r-- 40303 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-- 42000 isl.tex
-rw-r--r-- 5839 mydefs.sty
-rw-r--r-- 1501 newproof.sty
-rw-r--r-- 627 polymake.tex
-rw-r--r-- 1717 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