Skip to content

Adapt to coq/coq#18603 (print_rel_context takes evar map)#119

Merged
ppedrot merged 1 commit intocoq-community:masterfrom SkySkimmer:temrops-use-evdFeb 4, 2024

Commits

Commits on Feb 2, 2024