Mentions légales du service

Skip to content

Remove the V82 compatibility layer.

Pierre-Marie Pédrot requested to merge pedrot/coq:rm-compat-layer into master

I haven't test this on old Coq versions yet, but I will give it a try.

Merge request reports