From: Simon Huber Date: Tue, 2 May 2017 15:38:57 +0000 (+0200) Subject: Merge pull request #60 from Rotsor/more-parens-in-goal X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=9f649f16d473a39df10655ea30c3096d06e7d0fd;p=cubicaltt.git Merge pull request #60 from Rotsor/more-parens-in-goal More parentheses when printing values --- 9f649f16d473a39df10655ea30c3096d06e7d0fd