Module: ppl/ppl Branch: master Commit: 8dcf9b3f83ff6b8f86481a2b24b304e083818e4e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8dcf9b3f83ff6...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Nov 5 19:47:11 2011 +0100
The PPL logo in various formats.
---
doc/.gitignore | 1 + doc/ppl_logo.eps | 341 +++++++++++++++++++++++++++++++++++++++++++++++ doc/ppl_logo.pdf | Bin 0 -> 4963 bytes doc/ppl_logo.svg | 89 ++++++++++++ doc/ppl_logo_no_ppl.eps | 322 ++++++++++++++++++++++++++++++++++++++++++++ doc/ppl_logo_no_ppl.pdf | Bin 0 -> 4678 bytes doc/ppl_logo_no_ppl.svg | 116 ++++++++++++++++ 7 files changed, 869 insertions(+), 0 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8dcf9b3f8...