Standard proof layout does not have an end label

Most proof environment have a qed box at the end, but not this one.
This only changes screen rendering.
This commit is contained in:
Jean-Marc Lasgouttes 2021-07-19 12:36:34 +02:00
parent bea7ef04e7
commit 5920ddb567

View File

@ -17,6 +17,7 @@ Style Proof
\providecommand{\proofname}{Proof}
\fi
EndPreamble
EndLabelType No_Label
# No LangPreamble or BabelPreamble, since babel knows \proofname already.
DocBookTag para
DocBookAttr role='proof'