Subject: CVS commit: wip/prover9
From: Aleksej Saushev
Date: 2011-01-08 13:32:05
Message id: E1PbXy0-0004Pk-Mv@sfp-cvsdas-2.v30.ch3.sourceforge.com

Log Message:
Drop "local" category.
Remove USE_TOOLS, it shouldn't be needed.
Sort variables to follow documented style.

Files:
RevisionActionfile
1.2modifywip/prover9/Makefile