steven cedd0e2bb7 REVISION		2010-07-18 10:50:11 +00:00
..
patches	- bump to a version that support proof logging	2010-05-13 18:29:47 +00:00
pkg	- resolve ambiguity about what SAT is (prodded by naddy@)	2009-09-18 09:31:33 +00:00
distinfo	- bump to a version that support proof logging	2010-05-13 18:29:47 +00:00
Makefile	REVISION	2010-07-18 10:50:11 +00:00