[PPL-devel] [GIT] ppl/w3ppl(master): Updated.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: 97e94e2d5dfc183eef28818ceb7608bb4caa8967
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=97e94e2d5dfc183eef28818ceb7608bb4caa8967

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jan 25 09:49:24 2011 +0100

Updated.

---

 bin/update_web_site                         |    3 +-
 htdocs/Contribute/Contribute.raw            |  164 +-------------------------
 htdocs/FAQ.raw                              |   24 +---
 htdocs/images/abstractions/abstractions.tex |    3 +-
 htdocs/images/abstractions/axes.tex         |    9 +-
 htdocs/images/abstractions/make_images      |    3 +-
 htdocs/images/abstractions/points.tex       |    9 +-
 htdocs/templates/choicebar.tmpl             |    2 +-
 htdocs/templates/head.tmpl                  |    2 +-
 9 files changed, 31 insertions(+), 188 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commitdiff;h=97e94e2d5dfc183eef28818ceb7608bb4caa8967