projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5597107) | patch
minor changes in wording for "cvc4 --version", and point to the COPYING file for...
authorMorgan Deters <mdeters@gmail.com>
Thu, 11 Oct 2012 17:32:45 +0000 (17:32 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 11 Oct 2012 17:32:45 +0000 (17:32 +0000)
commit1ddacacb1a002fa38292f523f30df50b9e3d70fe
tree6baf328d80841845da2a6363c94f8adb5a5a8c90tree
parent559710702e4df3ddaac4905705cf93c08502984bcommit | diff
minor changes in wording for "cvc4 --version", and point to the COPYING file for full info
src/util/configuration_private.h diff | blob | history