Module Name:	pkgsrc
Committed By:	tonio
Date:		Sun Feb 25 15:05:07 UTC 2007

Modified Files:
	pkgsrc/doc: CHANGES-2007 TODO

Log Message:
Updated lang/coq to 8.1


To generate a diff of this commit:
cvs rdiff -r1.471 -r1.472 pkgsrc/doc/CHANGES-2007
cvs rdiff -r1.6036 -r1.6037 pkgsrc/doc/TODO

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