From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 8 Mar 2016 13:51:48 +0000 (-0500)
Subject: Rename mjo-fonts, mjo-pcases, and mjo-theorems for consistency.
X-Git-Tag: posZ-submitted-laa~59
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=05d580bd8940274b3d3a87a364ba649dff2cf53d;p=mjotex.git

Rename mjo-fonts, mjo-pcases, and mjo-theorems for consistency.
---

diff --git a/mjo-fonts.tex b/mjo-font.tex
similarity index 100%
rename from mjo-fonts.tex
rename to mjo-font.tex
diff --git a/mjo-pcases.tex b/mjo-proof_by_cases.tex
similarity index 100%
rename from mjo-pcases.tex
rename to mjo-proof_by_cases.tex
diff --git a/mjo-theorems.tex b/mjo-theorem.tex
similarity index 100%
rename from mjo-theorems.tex
rename to mjo-theorem.tex
diff --git a/mjotex.sty b/mjotex.sty
index 0d7a79b..5b89cd7 100644
--- a/mjotex.sty
+++ b/mjotex.sty
@@ -2,8 +2,8 @@
 \input{mjo-common}
 \input{mjo-cone}
 \input{mjo-convex}
-\input{mjo-fonts}
+\input{mjo-font}
 \input{mjo-linear_algebra}
-\input{mjo-pcases}
-\input{mjo-theorems}
+\input{mjo-proof_by_cases}
+\input{mjo-theorem}
 \input{mjo-topology}