Module: ppl/ppl Branch: ppl-0_12-branch Commit: 7c4a875d02d44cec9b390ab26ca1a625b8bb4e18 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c4a875d02d44... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Apr 2 08:22:47 2012 +0200 Added copyright and licensing information. --- doc/ppl.bib | 452 +++++++++++++++++++++++++++++++++++++++++++++++++ doc/ppl_citations.bib | 451 ++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 903 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7c4a875d0...