Subject: CVS commit: wip/prover9
From: Aleksej Saushev
Date: 2011-01-08 13:36:33
Message id: E1PbY2K-0004hH-8b@sfp-cvsdas-2.v30.ch3.sourceforge.com

Log Message:
Define TEST_TARGET.

Files:
RevisionActionfile
1.3modifywip/prover9/Makefile