Module: ppl/ppl Branch: master 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...