Skip to content

drop support for Coq 8.8

Ralf Jung requested to merge ralf/no-more-8.8 into master

There's a Coq feature we want to use which Coq 8.8 does not yet support. Given that Coq 8.9 has been released more than a year ago, and that we have a branch that still works with Coq 8.8, I think we can just drop this old version.

Merge request reports