John Benediktsson 039d4f0877 math.vectors: rename "v." to "vdot"		2020-04-11 20:35:00 -05:00
..
authors.txt	…
polynomials-docs.factor	…
polynomials-tests.factor	…
polynomials.factor	math.vectors: rename "v." to "vdot"	2020-04-11 20:35:00 -05:00
summary.txt	…
tags.txt	core/basis/extra: update some tags.txt.	2020-04-11 20:34:54 -05:00