QED už není tak fancy :)

9 years ago · 31dcf20a00
parent 25807dc899
commit 31dcf20a00
2 changed files with 2 additions and 8 deletions
--- a/6
+++ b/6
@ -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.
--- 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