CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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?cvsro...