[PPL-devel] ppl/doc definitions.dox

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2001-10-22 09:04:55

Modified files:
	doc            : definitions.dox 

Log message:
	Comment at the end of Weil's theorem had "convex" and "positive" and
	"rays" and "vertices" wrong way round.
	Minor change to wording introducing the two theorems.
	In final comment of user part, "blurb" removed.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.19&r2=1.20