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

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}