X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjotex.sty;h=039738b792d403090a6e6ad9a8aeeeea5882fdfc;hb=34cdeee15aa76cbc04f7a4746e27b2c75491c60d;hp=0d90d928dcce44d835c995827b1d68d279c07e34;hpb=5c1a943a2ae3886693c0361084239aef9da3551c;p=mjotex.git

diff --git a/mjotex.sty b/mjotex.sty
index 0d90d92..039738b 100644
--- a/mjotex.sty
+++ b/mjotex.sty
@@ -5,7 +5,9 @@
 \input{mjo-convex}
 \input{mjo-font}
 \input{mjo-linear_algebra}
+\input{mjo-listing}
 \input{mjo-misc}
 \input{mjo-proof_by_cases}
 \input{mjo-theorem}
+\input{mjo-theorem-star}
 \input{mjo-topology}