doc: update documentation of options and some functions
[barvinok.git] / bernstein / 
treef7ca36f2d0f817c2851f35d47f0ce9fb38b6e969
drwxr-xr-x   ..
-rw-r--r-- 805 Makefile.am
-rw-r--r-- 660 README
-rwxr-xr-x 91 autogen.sh
-rw-r--r-- 1670 configure.in
drwxr-xr-x - examples
drwxr-xr-x - include
drwxr-xr-x - m4
drwxr-xr-x - src