URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02e818f7cd915... Merge: abefc4529cb38ff95c24f85e9f0c6399a35880ad 54b366817e0798f9ce92d95a1fcc1ec59eb7406a Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 14:25:03 2009 +0200
Merge branch 'master' into bounded_arithmetic
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54b366817e079... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 11:13:19 2009 +0200
Fixed copy-and-paste mistakes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb8d44544182... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 10:45:26 2009 +0200
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11807a6ba6663... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 10:44:09 2009 +0200
Useless returns removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d908ff9dd2a0b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 10:31:56 2009 +0200
Fixed two code formatting glitches.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fe2ae64aa578... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 07:30:29 2009 +0200
Previous change reverted.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b066995711ae2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 30 22:10:16 2009 +0200
Useless friend declaration removed.