URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81f1af6d0c63c... Author: Roberto Bagnara bagnara@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=557898faabc42... Author: Roberto Bagnara bagnara@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=5622bea5c0744... Author: Roberto Bagnara bagnara@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=89b767163dfb2... Author: Roberto Bagnara bagnara@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=e1a81fe4089f7... Author: Roberto Bagnara bagnara@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=66ccf323a04d9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 12 19:07:58 2009 +0200

Warnings avoided.