grant f1ab3f4ed4 replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make.		2004-01-24 13:51:13 +00:00
..
patches	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
DESCR	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
distinfo	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
Makefile	replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make.	2004-01-24 13:51:13 +00:00
MESSAGE	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
PLIST	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
PLIST.opt	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00