]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
Rename mjo-fonts, mjo-pcases, and mjo-theorems for consistency.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 8 Mar 2016 13:51:48 +0000 (08:51 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 8 Mar 2016 13:51:48 +0000 (08:51 -0500)

No differences found