9 Feb
2003
9 Feb
'03
6:39 p.m.
CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto@cs.unipr.it 2003-02-09 18:39:14
Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation/mirror: HenzingerH95.ps.gz HenzingerPW01.ps.gz
Log message: Typo fixed in Halbwachs79th. HenzingerH95 and HenzingerPW01 added.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bib... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror/... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror/...