Merge branch 'master' of dragon:/home/dav/yacasl2
-rw-r--r-- 28 .gitignore
-rw-r--r-- 1052 LICENSE
-rw-r--r-- 661 Makefile
-rw-r--r-- 979 README
drwxr-xr-x - as
drwxr-xr-x - doc
drwxr-xr-x - include
drwxr-xr-x - src
drwxr-xr-x - test