From: Martin Mares <mj@ucw.cz>
Date: Mon, 31 Aug 2015 15:37:31 +0000 (+0200)
Subject: QED už není tak fancy :)
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=31dcf20a005e7852a50da843abc79993794e9208;p=diplomky.git

QED už není tak fancy :)
---

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