English version: Revive proof environment

Originally, it was commented out, since it collided with the built-in proof environment. Renamed it to "myproof" instead.
5 years ago · 5445572fc3
parent 83321537d6
commit 5445572fc3
1 changed files with 7 additions and 7 deletions
--- a/en/macros.tex
+++ b/en/macros.tex
@ -48,13 +48,13 @@

 %%% An environment for proofs

-%%% FIXME %%% \newenvironment{proof}{
-%%% FIXME %%%   \par\medskip\noindent
-%%% FIXME %%%   \textit{Proof}.
-%%% FIXME %%% }{
-%%% FIXME %%% \newline
-%%% FIXME %%% \rightline{$\square$}  % or \SquareCastShadowBottomRight from bbding package
-%%% FIXME %%% }
+\newenvironment{myproof}{
+  \par\medskip\noindent
+  \textit{Proof}.
+}{
+\newline
+\rightline{$\qedsymbol$}
+}

 %%% An environment for typesetting of program code and input/output
 %%% of programs. (Requires the fancyvrb package -- fancy verbatim.)