URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c58ed0768af4b... Merge: 0a17ebd902c02367b7bf686d5e0f5a008e0290a2 7cac8985192bd1b37ce930feb1c60a47e4f5a144 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 31 21:25:10 2012 +0200

Merge branch 'master' into ppl-0_12-branch

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cac8985192bd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 31 21:06:51 2012 +0200

Indentation fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c0584c351784... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 31 13:58:31 2012 +0200

Simplified INPUT tag values in devref manuals' Doxygen configuration files. Avoid most of the explicit listing of source files, favouring a much smaller number of file name patterns.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b495379843cdc... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 31 13:57:10 2012 +0200

Doxygen \relates command can not be used with enumerated types. Replace it with \name grouping.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=daeeb34660099... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 31 10:39:18 2012 +0200

No longer using the installdox command (deprecated and subject to removal). Fixed Doxygen configuration paths for license files.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=992e9dc81a58f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 31 10:20:08 2012 +0200

Further improvements to documentation of helper functions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d37ea40c8079... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 31 10:08:05 2012 +0200

Use Doxygen command \class for declared-but-undefined class templates.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad78ee45b1a55... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 31 10:06:55 2012 +0200

Improved documentation formatting using Doxygen command \tparam.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e99a61bf48261... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 31 09:57:42 2012 +0200

Fixed typo in documentation (causing a Doxygen warning).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7925c67208562... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 31 08:46:58 2012 +0200

Corrected name of Doxygen documentation group.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fdf149dd64f62... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 30 18:14:55 2012 +0200

On machines where float is supported and double is not supported, test01() can yield results that are significantly less precise. (Thanks to Sean McGovern.)