Fix

parent 29fc2d8f
......@@ -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