From 31dcf20a005e7852a50da843abc79993794e9208 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Mon, 31 Aug 2015 17:37:31 +0200
Subject: [PATCH] =?UTF-8?q?QED=20u=C5=BE=20nen=C3=AD=20tak=20fancy=20:)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 TODO         | 6 ------
 cs/makra.tex | 4 ++--
 2 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/TODO b/TODO
index 1f04713..d727d0f 100644
--- a/TODO
+++ b/TODO
@@ -5,10 +5,4 @@ Dvojtecky na titulni strane by mohly byt centrovane
 
 Synchronizovat anglickou verzi s ceskou (a opravit README)
 
-Probrat makra.tex
-
-Hezci QED
-
-grep FIXME
-
 Upravit mkdist, aby vyhazoval SPECIMEN, \X a \XXX a prikladal spravna ukazkova PDF.
diff --git a/cs/makra.tex b/cs/makra.tex
index b1f5e1c..e09d896 100644
--- a/cs/makra.tex
+++ b/cs/makra.tex
@@ -49,14 +49,14 @@
 \newtheorem*{pozn}{Poznámka}
 \newtheorem*{prikl}{Příklad}
 
-%%% Prostředí pro důkazy (vyžaduje balíček bbding)
+%%% Prostředí pro důkazy
 
 \newenvironment{dukaz}{
   \par\medskip\noindent
   \textit{Důkaz}.
 }{
 \newline
-\rightline{\SquareCastShadowBottomRight}
+\rightline{$\square$}  % nebo \SquareCastShadowBottomRight z balíčku bbding
 }
 
 %%% Prostředí pro sazbu kódu, případně vstupu/výstupu počítačových