Module: ppl/w3ppl Branch: master Commit: 97e94e2d5dfc183eef28818ceb7608bb4caa8967 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=97e94e2d5df...
Author: Roberto Bagnara bagnara@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=97e94e2...