[PPL-devel] w3ppl/htdocs abstractions.raw Documentation/pp ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	w3ppl
Changes by:	hill at cs.unipr.it	2004-09-27 11:15:32

Modified files:
	htdocs         : abstractions.raw 
	htdocs/Documentation: ppl.bib 
	htdocs/images  : abstractions_rcongrs.gif 

Log message:
	Completed draft descriptions of the numerical abstractions.
	Added to ppl.bib reference to the Mine paper on the octagon domain and
	to Roberto's thesis.
	Updated the gif version of the illustration of a relational grid
	to correspond to that already in abstractions.tex.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bib.diff?cvsroot=ppl&r1=1.67&r2=1.68
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/abstractions_rcongrs.gif.diff?cvsroot=ppl&r1=1.2&r2=1.3