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: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=05d580bd8940274b3d3a87a364ba649dff2cf53d;hp=05d580bd8940274b3d3a87a364ba649dff2cf53d;p=mjotex.git

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