Skip to content

Adapt to Coq PR #18742: clause "using" moved from CInfo to Info - #609

Closed
herbelin wants to merge 1 commit into
LPCIC:coq-masterfrom
herbelin:coq-master+adapt-coq-pr18742-using-moved-from-cinfo-to-info
Closed

Adapt to Coq PR #18742: clause "using" moved from CInfo to Info#609
herbelin wants to merge 1 commit into
LPCIC:coq-masterfrom
herbelin:coq-master+adapt-coq-pr18742-using-moved-from-cinfo-to-info

The using "using" clause moved from CInfo.t to Info.t.

23e71d4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs