John Benediktsson 1c5d417100 math.vectors: rename "v." to "vdot"		2020-02-26 12:40:16 -08:00
..
authors.txt	…
numerical-integration-tests.factor	…
numerical-integration.factor	math.vectors: rename "v." to "vdot"	2020-02-26 12:40:16 -08:00
summary.txt	…
tags.txt	core/basis/extra: update some tags.txt.	2020-02-26 10:57:08 -08:00