chiark / gitweb /
unset mma_verbose for recursive MMA of dual