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

[mjotex.git] / mjo-proof_by_cases.tex

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index f86c9d0e64c7740e1b05dd7ffe39b5d1a02c6594..0050a562c13719340f74c03019d91b7c4c8a468c 100644 (file)
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -20,10 +20,11 @@
 % 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=\parindent}
+  leftmargin=0pt,
+  listparindent=\parindent}
 
 % The optional argument here gets stuffed into the \thiscase macro, to
 % be called by pcases when it creates this list item. The \hfill is a