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...