projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92a04e0) | patch
added bool and arith theory makefiles to AC_CONFIG_FILES in configure.ac
authorMorgan Deters <mdeters@gmail.com>
Thu, 4 Feb 2010 02:47:30 +0000 (02:47 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 4 Feb 2010 02:47:30 +0000 (02:47 +0000)
commit84354b6332b89c15292a89b065a7478f578eb075
treedf0fef8bcd748352183863215ecccf5491175dbatree
parent92a04e03876154a946b729855a72e1e871304fe5commit | diff
added bool and arith theory makefiles to AC_CONFIG_FILES in configure.ac
configure.ac diff | blob | history