projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0818c5) | patch
minor fixes: to "make dist" in build directories with language bindings enabled;...
authorMorgan Deters <mdeters@gmail.com>
Fri, 9 Mar 2012 18:26:07 +0000 (18:26 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 9 Mar 2012 18:26:07 +0000 (18:26 +0000)
commitec366494778d34d6fd2d27a124a641ebdc249b43
tree8ce47b430c7bab09abcfa15f30a7166052ac8914tree
parente0818c5764f69be7a75f65a4fa2f5993ba5b71e8commit | diff
minor fixes: to "make dist" in build directories with language bindings enabled; and to makefile standards conformance
doc/cvc4.1.in diff | blob | history
test/system/Makefile.am diff | blob | history