Merge branch '15-task-merging' into 16-t-varop-mm
Merge branch '14-new-matprod' into 16-t-varop-mm
Merge branch '14-misc-cleanup' into 16-t-varop-mm
Merge branch '14-misc-cleanup' into 16-t-varop-mm
Merge branch '14-misc-cleanup' into 16-t-varop-mm
Merge branch '15-extra-news' into 16-t-varop-mm
Merge branch '14-misc-cleanup' into 16-t-varop-mm
Merge branch '15-extra-news' into 16-t-varop-mm
Merge branch '15-extra-news' into 16-t-varop-mm
Merge branch '01-inspect' into 16-t-varop-mm
fix typo in matmult help
Merge branch '16-t-varop-mm' into 23-prim-formals