projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bd284aa d061022)
Merge pull request #89 from 4tXJ7f/fix_proof_spaces
authorguykatzz <katz911@gmail.com>
Tue, 9 Aug 2016 21:17:23 +0000 (14:17 -0700)
committerGitHub <noreply@github.com>
Tue, 9 Aug 2016 21:17:23 +0000 (14:17 -0700)
Fix missing/redundant spaces in proofs


Trivial merge