* Remove timing for -O0, people really shouldn't use it.
[ginac.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 87 Makefile.am
-rw-r--r-- 3388 powerlaws.tex
drwxr-xr-x - reference
drwxr-xr-x - tutorial