11 Oct
2001
11 Oct
'01
3:49 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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?cvsro...