CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2001-10-21 11:14:23

Modified files: doc : definitions.dox ppl.sty

Log message: The new macro \vect inserted in ppl.sty; now the macro simply uses the latex command \mathbf, but we can modify its meaning as we like. Had a run on definitions.dox to consistently use the new macro: be careful, in the future, to use 0 when a scalar is meant, and \vect{0} when the origin of the space is meant. Also made small, readability related changes to Minkowsky's and Weil's theorems.

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