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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81f1af6d0c63c89ef316968d8d0fdcbf2a715b28
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 21:19:21 2009 +0200

    Private typedef renamed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=557898faabc420d3180cff9ff6c0a85a43c438aa
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 21:19:12 2009 +0200

    Removed spurious blank line.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5622bea5c074490790db34f05e0821bc7873c194
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 21:15:32 2009 +0200

    Comment improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89b767163dfb20b8555016487960794ad51cb43e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 21:14:09 2009 +0200

    Drafted the news for PWL 0.8.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1a81fe4089f775fe15e01e0554c3804f40dbebe
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 19:08:36 2009 +0200

    Unused temp removed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66ccf323a04d9a0e293ec0ad819e946fd10bfa01
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 19:07:58 2009 +0200

    Warnings avoided.