CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2001-10-12 13:20:59

Modified files: doc : definitions.dox

Log message: Section on the "equivalence of homogeneous and inhomogeneous systems" (up to the paragraph called "Valid linear inequalities") changed and reworded. Title of section changed to "Homogeneous systems".

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro...