Yozo TODA wrote: > I didn't try Compcert and not sure if Compcert is compliant to coq > 8.5, how about branching math/coq to math/coq/8.4 and math/coq/8.5 ?
IIUC, this is only done when absolutely necessary. We'll probably just wait for Daniel's ok and then update to 8.5.
