doc/common/styles · coq · Tangled

forked from coq/coq

coq doc common styles

1 folder

coqbot-app[bot] · Merge PR #20907: rocq doc replace @@TITLE@@ in header with page title, use in corelib · 1y ago

Merge PR #20907: rocq doc replace @@TITLE@@ in header with page title, use in corelib