feature(coq): add coqdoc_flags field to coq.theory#7676

Merged

Alizter merged 3 commits intoocaml:mainfrom Alizter:ps/branch/feature_coq___add_coqdoc_flags_field_to_coq_theory

May 3, 2023

+35-3

Commits on May 3, 2023