URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f69b86061855e... Merge: 12f6d4872bc274aaf7f068ff35b1c6c209a7a39a 9784b8165b6cb1dea5eb6d20b4cebca7ecc780fd Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Dec 19 12:37:54 2009 +0100

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9784b8165b6cb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Dec 19 11:46:22 2009 +0100

Added support for SWI-Prolog version 5.8 and later.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f07483112d73b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Nov 26 11:17:39 2009 +0100

One item added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=134489d82662c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 23 07:28:50 2009 +0100

Item added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6f503bc22cdd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Oct 22 22:19:52 2009 +0200

Refer to PPL 0.11, not 0.10.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=513d2127e55fa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 24 16:34:32 2009 +0200

Fixed operator>>(std::istream&, Interval<Boundary, Info>&).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd16569a7d2c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 24 16:32:31 2009 +0200

Spurious print statement removed.