URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e35fe767762d... Merge: 96f52363af74f4f9cc45f7e0287fc1740385f52a c165032ea5b1736061c110240c22c972732db98b Author: Roberto Bagnara <bagnara@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