naddy 055eb23368 properly honor CC/CFLAGS		2011-09-08 14:48:25 +00:00
..
ladr	properly honor CC/CFLAGS	2011-09-08 14:48:25 +00:00
p9m4	missing bump	2011-07-05 09:13:36 +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