Skip to content
Snippets Groups Projects
Commit df130dc6 authored by Tomáš Nováček's avatar Tomáš Nováček
Browse files

Merge branch 'master' into novacek/old-template-sync

parents bf07e2bd 10a98f20
No related branches found
No related tags found
No related merge requests found
......@@ -447,7 +447,6 @@
\thm@postskip\thm@preskip
}
\def\@endtheorem{\endtrivlist}%\@endpefalse
\renewcommand\qedsymbol{\textcolor{decoration}{\ensuremath{\blacktriangleleft}}}
\renewenvironment{proof}[1][\proofname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment