Module: ppl/ppl Branch: master Commit: 7d35c7b6b16a6e22014871b72fdec1e889ed7c0d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d35c7b6b16a6...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 09:25:05 2011 +0100
New logos.
---
doc/.gitignore | 2 +- doc/bugseng_logo.eps | 201 ++++++++++++++++++++++++++++++++++++++++++ doc/bugseng_logo.pdf | Bin 0 -> 4002 bytes doc/bugseng_logo.svg | 60 +++++++++++++ doc/ppl_logo.eps | 2 +- doc/ppl_logo.pdf | Bin 4963 -> 4959 bytes doc/ppl_logo.svg | 222 ++++++++++++++++++++++++++++------------------- doc/ppl_logo_no_ppl.eps | 2 +- doc/ppl_logo_no_ppl.pdf | Bin 4678 -> 4669 bytes doc/ppl_logo_no_ppl.svg | 14 ++-- 10 files changed, 403 insertions(+), 100 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7d35c7b6b...