Mentions légales du service

Skip to content

Partly adapt to Coq 8.19.

Guillaume Melquiond requested to merge coq-8.19 into master

These changes are still compatible with Coq 8.13.

Merge request reports