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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e35fe767762d1c775515a0b3c2d08049ce8b1a2
Merge: 96f52363af74f4f9cc45f7e0287fc1740385f52a c165032ea5b1736061c110240c22c972732db98b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Apr 24 08:44:10 2009 +0200

     Merge branch 'master' into serial.

     Resolved conflicts:
     	configure.ac
     	src/Bit_Row.defs.hh
     	src/Makefile.am
     	src/Polyhedron.defs.hh
     	src/Row.defs.hh