lexmin: make lexmin options private
[barvinok.git] / doc / 
tree7b8c88e6a5a8ccdbc1bf8b7e3676473f8fb37e80
drwxr-xr-x   ..
-rw-r--r-- 39499 Internal.tex
-rw-r--r-- 540 Makefile.am
-rw-r--r-- 11885 applications.tex
-rw-r--r-- 13317 barvinok.bib
-rw-r--r-- 3003 barvinok.gdf
-rw-r--r-- 670 barvinok.tex
-rw-r--r-- 39394 chicago.bst
-rw-r--r-- 11822 chicago.sty
-rw-r--r-- 5146 mydefs.sty
-rw-r--r-- 1961 omega.tex
-rw-r--r-- 627 polymake.tex
-rw-r--r-- 1058 reports.tex