From: Martin Mares <mj@ucw.cz>
Date: Sat, 2 Mar 2024 10:45:04 +0000 (+0100)
Subject: Removed custom environment for proofs
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=cb5dd3b813a9d75031ac88f62e512efd3e803f7a;p=diplomky.git

Removed custom environment for proofs

Our environment had the QED symbol positioned on an extra line,
which does not look well. After some deliberaiton, I found nothing
wrong with amsthm's proof environment.
---

diff --git a/macros.tex b/macros.tex
index 6d82c71..a4c7bb6 100644
--- a/macros.tex
+++ b/macros.tex
@@ -86,15 +86,8 @@
 \newtheorem*{pozn}{Poznámka}
 \newtheorem*{prikl}{Příklad}
 
-%%% Prostředí pro důkazy
-
-\newenvironment{dukaz}{
-  \par\medskip\noindent
-  \textit{Důkaz}.
-}{
-\newline
-\rightline{$\qedsymbol$}
-}
+% Alias pro prostředí proof s českým názvem
+\newenvironment{dukaz}{\begin{proof}}{\end{proof}}
 
 %%% Styl popisek obrázků