only show full details when using --verbose flag#452

NSoiffer merged 1 commit intodaisy:maindaisy/MathCAT:mainfrom

moritz-gross:add-verbose-flagmoritz-gross/MathCAT:add-verbose-flagCopy head branch name to clipboard