patch ddc-head: Make proof build target work in parallel

[Ben Lippmeier]

Tue Jun 28 00:24:44 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Make proof build target work in parallel

    M ./Makefile -1 +1

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe