jasper fab7307bec - bump to a version that support proof logging ... - don't hide compilation commands		2010-05-13 18:29:47 +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	- bump to a version that support proof logging	2010-05-13 18:29:47 +00:00