English version: Revive proof environment

Originally, it was commented out, since it collided with the built-in
proof environment. Renamed it to "myproof" instead.

diff --git a/en/macros.tex b/en/macros.tex
index aefc435ca34cf6addcb2d2a9c9b52746ab6e47c7..d2d261660f29f01a770e095c49ebd7f51c127554 100644 (file)
--- 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.)