8 Commits

Author	SHA1	Message	Date
sthen	7b10e7c633	PERMIT_*	2013-03-11 12:27:53 +00:00
espie	0662a4e9d6	PERMIT_* / REGRESS->TEST sweep	2013-03-11 11:20:26 +00:00
espie	e820071495	normalize pkgpath	2011-09-16 10:31:20 +00:00
naddy	055eb23368	properly honor CC/CFLAGS	2011-09-08 14:48:25 +00:00
jasper	bc895bff08	missing bump	2011-07-05 09:13:36 +00:00
jasper	6e4ac2d1c5	- tweak MASTER_SITES	2011-06-29 18:11:25 +00:00
jasper	eec0417831	bump after default python version switch	2011-06-08 17:31:05 +00:00
jasper	2c96b38d8c	import Prover9, Mace4, and several related programs come packaged in a system ... 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..	2011-03-07 22:26:24 +00:00