jlam 585534220c Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions: ... USE_GNU_TOOLS -> USE_TOOLS awk -> gawk m4 -> gm4 make -> gmake sed -> gsed yacc -> bison		2005-05-22 20:07:36 +00:00
..
patches	- Update of coq from 7.4 to 8.0pl2	2005-02-05 11:19:02 +00:00
DESCR
distinfo	Add RMD160 digests	2005-02-24 09:03:05 +00:00
Makefile	Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions:	2005-05-22 20:07:36 +00:00
MESSAGE
PLIST	- Update of coq from 7.4 to 8.0pl2	2005-02-05 11:19:02 +00:00
PLIST.opt	- Update of coq from 7.4 to 8.0pl2	2005-02-05 11:19:02 +00:00