]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
actually pushing this copy out for realase...
authorkatelman <katelman@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 18 Nov 2008 18:36:25 +0000 (18:36 +0000)
committerkatelman <katelman@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 18 Nov 2008 18:36:25 +0000 (18:36 +0000)
commitd1311fd2f1e629b1d554cad8f6d1c37e8bb52d51
tree36546f2bf0ed4f18828b28334f8a35230b1425fa
parent8e1be93e4579d33efc0fac05f0f91b14fb861733
actually pushing this copy out for realase...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@42 e59a4935-1847-0410-ae03-e826735625c1
Makefile.in
bin/run_tests
sample-tests/egt-1899.cvc [new file with mode: 0644]