[PPL-devel] [GIT] ppl/ppl(polynomials): New commits

[Roberto Bagnara]

Merge branch 'master' into polynomials.

Resolved conflicts:
	CREDITS
	configure.ac
     	src/Makefile.am
     	tests/Makefile.am

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5cf863b438f0ff0c111ed4c995404d6b34e559d

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it