2 Commits

Author	SHA1	Message	Date
Russell O'Connor	525b8015e7	Fixing configure patch for coq 8.3.	2012-08-19 01:11:11 -04:00
Russell O'Connor	eafd2008f1	Correcting filename.	2012-08-19 01:06:15 -04:00