Module Name:	pkgsrc
Committed By:	kristerw
Date:		Sat Mar 22 18:30:48 UTC 2003

Modified Files:
	pkgsrc/doc: CHANGES

Log Message:
Note addition of math/coq 7.4.


To generate a diff of this commit:
cvs rdiff -r1.1745 -r1.1746 pkgsrc/doc/CHANGES

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.