espie e820071495 normalize pkgpath

2011-09-16 10:31:20 +00:00

..

ladr

properly honor CC/CFLAGS

2011-09-08 14:48:25 +00:00

p9m4

normalize pkgpath

2011-09-16 10:31:20 +00:00

Makefile

import Prover9, Mace4, and several related programs come packaged in a system

2011-03-07 22:26:24 +00:00

Makefile.inc

- tweak MASTER_SITES

2011-06-29 18:11:25 +00:00