CVS commit: wip/prover9

["Aleksej Saushev" <asau%users.sourceforge.net@localhost>]

Module name:    wip
Committed by:   asau
Date:           Sat Jan  8 12:32:05 UTC 2011

Modified Files:
        wip/prover9: Makefile

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


To generate a diff of this commit:
cvs -z3 rdiff -u -r1.1.1.1 -r1.2 wip/prover9/Makefile

To view a diff of this commit:
http://pkgsrc-wip.cvs.sourceforge.net/pkgsrc-wip/wip/prover9/Makefile?r1=1.1.1.1&r2=1.2

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

------------------------------------------------------------------------------
Gaining the trust of online customers is vital for the success of any company
that requires sensitive data to be transmitted over the Web.   Learn how to 
best implement a security strategy that keeps consumers' information secure 
and instills the confidence they need to proceed with transactions.
http://p.sf.net/sfu/oracle-sfdevnl 
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs