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.