[PPL-devel] ppl/doc definitions.dox

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2001-10-11 16:41:01

Modified files:
	doc            : definitions.dox 

Log message:
	The paragraph "The Minkowski's theorem" renamed to
	"Minkowski's theorem.
	The condition "rank(A) = n" changed to
	"where A is a matrix of rank n".
	The note following the definition is reworded so that the
	conditions are not bracketed.
	"Linear equalities and inequalities" has been
	changed to "constraints".
	"positive multiples of each inequality and ray" has been
	changed to "positive multiples of each constraint and ray".
	The word "the" inserted where necessary.
	
	The paragraph "The Weil's theorem" renamed to
	"Weil's theorem.

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