2 Commits

Author	SHA1	Message	Date
Vincent Laporte	d40b680101	coq-8.4: fix build of ssreflect and mathcomp	2017-01-25 13:14:31 +00:00
John Wiegley	4888bfecc2	coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect ... Addresses #14829	2016-12-22 10:35:56 -08:00