[PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c58ed0768af4b6f644bf8c312da97e17abd082c3
Merge: 0a17ebd902c02367b7bf686d5e0f5a008e0290a2 7cac8985192bd1b37ce930feb1c60a47e4f5a144
Author: Roberto Bagnara <bagnara at 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=7cac8985192bd1b37ce930feb1c60a47e4f5a144
Author: Roberto Bagnara <bagnara at 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=9c0584c351784f395a16b240546fc5316b1413f6
Author: Enea Zaffanella <zaffanella at 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=b495379843cdc1ba429cef608e79a09757c9a6e7
Author: Enea Zaffanella <zaffanella at 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=daeeb34660099b742150e96df970e3b1a6a882da
Author: Enea Zaffanella <zaffanella at 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=992e9dc81a58f65429e7650ca2077fd95f1efda1
Author: Enea Zaffanella <zaffanella at 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=1d37ea40c80791ea38ac3223bc800da6487e7330
Author: Enea Zaffanella <zaffanella at 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=ad78ee45b1a55b0be516c2b0f00af68dc76cabf9
Author: Enea Zaffanella <zaffanella at 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=e99a61bf48261d684c0e85affc43dbd4befb8519
Author: Enea Zaffanella <zaffanella at 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=7925c67208562b294858d79d1c6063df40627fbe
Author: Enea Zaffanella <zaffanella at 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=fdf149dd64f624400075f75abd934553bfe7c9fc
Author: Roberto Bagnara <bagnara at 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.)