Skip to content
Open

[Reference manual/Coq] Fix label for VERNAC EXTEND#11235
jajimajp wants to merge 1 commit intoocaml:mainfrom jajimajp:patch-1

[Reference manual/Coq] Fix label for VERNAC EXTEND#11235

Open
jajimajp wants to merge 1 commit intoocaml:mainfrom jajimajp:patch-1

Commits

Unable to load page.

The page is unavailable due to a system error.

Try reloading the page, or if the problem persists, contact support.

GitHub status