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

23 Apr 2009


      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=c5cf863b438f0...
-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it