Fix

parent 00160d05
......@@ -429,7 +429,7 @@
\hwa@parseCounterStyle{\hwa@problemsty}{\hwa@problemno}{problem}
\hwa@parseCounterStyle{\hwa@subproblemsty}{\hwa@subproblemno}{subproblem}
\hwa@parseCounterStyle{\hwa@subsubproblemsty}{\hwa@subsubproblemno}{subsubproblem}
\NewDocumentEnvironment{proof}{G{\GetTranslation{Beweis}} O[\QED}
\NewDocumentEnvironment{proof}{G{\GetTranslation{Beweis}} O{\QED}}
{
\keyword{#1:~~}
}
......
......@@ -1000,7 +1000,7 @@
% Used for proofes. Starts bth proof and ends with a End-Of-Proof
% symbol.
% \begin{macrocode}
\NewDocumentEnvironment{proof}{G{\GetTranslation{Beweis}} O[\QED}
\NewDocumentEnvironment{proof}{G{\GetTranslation{Beweis}} O{\QED}}
{
\keyword{#1:~~}
}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment