Proposal for updating the user interfaces page.#218

Closed

herbelin wants to merge 14 commits intocoq:masterfrom herbelin:master+user-interfaces-update

+77-70

Commits on Jun 30, 2023

Commits on Jul 1, 2023