]> mj.ucw.cz Git - diplomky.git/commitdiff
QED už není tak fancy :)
authorMartin Mares <mj@ucw.cz>
Mon, 31 Aug 2015 15:37:31 +0000 (17:37 +0200)
committerMartin Mares <mj@ucw.cz>
Mon, 31 Aug 2015 15:37:46 +0000 (17:37 +0200)
TODO
cs/makra.tex

diff --git a/TODO b/TODO
index 1f0471321e7b6f6603b69a1de27ff3d84132e0ae..d727d0f10b30b7579d8176da7d67dcdb54124928 100644 (file)
--- 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.
index b1f5e1c88688af8bebe92aa575955928077ad2f1..e09d896337b48824d82842f77b96d060c50ac9d6 100644 (file)
 \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