Add function scaling by a scalar

Implement prox for DistTo

CSV output of face data

Simplify crossing calculations

Fixes to find_crossing and exp

documentation

(0) -10 -6 +6 +10 +30 tip

mercurial