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
+13-7

Commits