[PPL-devel] ppl/doc definitions.dox

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2001-10-11 15:49:48

Modified files:
	doc            : definitions.dox 

Log message:
	In the definition of rays:
	P is defined before P_0;
	A and b are defined;
	inserted "any point" before r;
	The comment that a ray is the direction in which P is infinite,
	moved from within the statement of the proposition to before
	the proposition and reworded.
	
	In the definition of lines, wording improved.
	Comment relating opposite rays with lines made into a separate
	paragraph. It is not part of the definition.

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