This patch fixes a bug on machines where char is unsigned by default, by
[ginac.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 12336 CodingStyle
-rw-r--r-- 96 Makefile.am
drwxr-xr-x - examples
-rw-r--r-- 3731 powerlaws.tex
drwxr-xr-x - reference
drwxr-xr-x - tutorial