From 5445572fc3a5f77094b2a49bcc85d0481e03e21d Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Wed, 17 Jul 2019 13:25:05 +0200
Subject: [PATCH] English version: Revive proof environment

Originally, it was commented out, since it collided with the built-in
proof environment. Renamed it to "myproof" instead.
---
 en/macros.tex | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/en/macros.tex b/en/macros.tex
index aefc435..d2d2616 100644
--- 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.)
-- 
2.39.2