projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2026786) | patch
Removed vestigial normal form notes file from src/theory/arith/Makefile.am. Should...
authorTim King <taking@cs.nyu.edu>
Thu, 17 Feb 2011 17:41:15 +0000 (17:41 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 17 Feb 2011 17:41:15 +0000 (17:41 +0000)
commit0b6743798125317a4e88366591028691fe7170f8
treead06d6de5850f2fd87fe2f04fa08f827f2e762b7tree
parent2026786fb40e6278942918489823742cd690169ccommit | diff
Removed vestigial normal form notes file from src/theory/arith/Makefile.am. Should have been removed earlier.
src/theory/arith/Makefile.am diff | blob | history