Merge branch '14-names-reorg' into 15-crossprod
Merge branch '14-misc-cleanup' into 15-crossprod
Merge branch '14-names-reorg' into 15-crossprod
Merge branch '14-names-reorg' into 15-crossprod
Merge branch '14-names-reorg' into 15-crossprod
Merge branch '14-names-reorg' into 15-crossprod
use LOCAL_COPY in do_matprod
Merge branch '15-crossprod' into 16