Pietro Abate homepage

I've fixed my darcs repo:
http://web-cduce.pps.jussieu.fr/cgi-bin/darcsweb.cgi

Now I've the old one (broken) that I'll remove soon, a working one based on cduce 0.4.2 where I keep my patches and a repo of cduce 0.5.0 without my patches, that I'll hopefully merge soon.

I'll keep working with cduce 0.4.2 for the moment as cduce 0.5.0 requires the ocaml 3.10 that is still in experimental in debian.