Module Name:	src
Committed By:	elad
Date:		Sat Sep 16 21:22:19 UTC 2006

Modified Files:
	src/doc: CHANGES

Log Message:
Add veriexecgen(8), contributed by Matt Fleming. Thanks!


To generate a diff of this commit:
cvs rdiff -r1.700 -r1.701 src/doc/CHANGES

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