/math/coq/

	Commit message (Expand)	Author	Age	Files	Lines
*	Use PLIST_FILES.	trevor	2004-02-06	2	-1/+1
*	Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.	marcus	2004-02-04	1	-0/+1
*	SIZEify.	trevor	2004-01-29	1	-0/+1
*	- Drop maintainership to ports@	krion	2004-01-08	1	-1/+1
*	Change my mail to @FreeBSD.org	krion	2003-07-22	1	-1/+1