Skip to content

Adapt to coq/coq#19620 (Global.push_context_set no strict argument)#696

Merged
gares merged 2 commits intoLPCIC:masterfrom SkySkimmer:push-context-strictOct 14, 2024
+3-1

Commits

Commits on Oct 1, 2024

Commits on Oct 14, 2024