Mentions légales du service

Skip to content

Adapt to coq/coq#14773 (convert_concl has a ~cast argument)

GILBERT Gaëtanrequested to merge
(removed):revertcast into master

With DEFAULTcast cast:false is the previous behaviour, otherwise cast:true.

Merge request reports