From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 10 Aug 2016 03:47:08 +0000 (-0400)
Subject: Change each proof-by-cases case to look like "Case N: conditions."
X-Git-Tag: posZ-submitted-laa~23
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=0eb66e736e01afbfafb356135b1031d823a397bc;p=mjotex.git

Change each proof-by-cases case to look like "Case N: conditions."
---

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index 3f803b8..0050a56 100644
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -20,7 +20,7 @@
 % another.
 \newlist{pcases}{enumerate}{1}
 \setlist[pcases]{
-  label=\textbf{Case~\arabic*}~(\protect\thiscase)\textbf{:},
+  label=\textbf{Case~\arabic*}:~\protect\thiscase\textbf{.},
   ref=\arabic*,
   align=left,
   leftmargin=0pt,