Skip to content

Allow to use bold label by default for theorem env in non HTML or PDF output.#1206

Draft
cderv wants to merge 2 commits intomainfrom
bold-label-theorem-env
Draft

Allow to use bold label by default for theorem env in non HTML or PDF output.#1206
cderv wants to merge 2 commits intomainfrom
bold-label-theorem-env

Commits

Commits on Jul 20, 2021