(which is not) throughout the ports Makefiles.
* Replace find|xargs with find -exec {} +
* Replace -exec {} \; with -exec {} + if applicable.
* Use the -delete operator to remove files and empty directories.
* Combine and tweak some find(1) invocations while here.
ok kn@ rsadowski@ espie@
called LADR (Library for Automated Deduction Research).
split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr)
ok aja@
and thanks to landry@/robert@ too for putting up with my ranting about this..
