projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7557e5) | patch
Fix new-theory script for new, flattened build system.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 12 Nov 2013 15:10:45 +0000 (10:10 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 12 Nov 2013 15:11:06 +0000 (10:11 -0500)
commit5efc6eeb5e46ec7a907a96ccfaa947688ce69885
tree95d0d38f5b57fd2f1d53add54b8d0c167cb5cc98tree
parentb7557e5f0c634a5421a705715361ec3d1e0a2ffccommit | diff
Fix new-theory script for new, flattened build system.
contrib/alttheoryskel/Makefile [deleted file] blob | history
contrib/alttheoryskel/Makefile.am [deleted file] blob | history
contrib/new-theory diff | blob | history
contrib/theoryskel/Makefile [deleted file] blob | history
contrib/theoryskel/Makefile.am [deleted file] blob | history