22 Oct
2001
22 Oct
'01
9:04 a.m.
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...