Module Name:	pkgsrc
Committed By:	tonio
Date:		Fri Jan 27 19:24:51 UTC 2006

Modified Files:
	pkgsrc/doc: CHANGES TODO

Log Message:
Updated lang/coq to 8.0pl3


To generate a diff of this commit:
cvs rdiff -r1.12697 -r1.12698 pkgsrc/doc/CHANGES
cvs rdiff -r1.4522 -r1.4523 pkgsrc/doc/TODO

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