added MitM/interfaces

config/MathHub/config.mcf

@@ -53,6 +53,7 @@ PVS/Prelude mmt,pvs
 PVS/NASA pvs
 MitM/Models mmt,stex
 MitM/Foundation mmt
+MitM/interfaces mmt
 MitM/smglom mmt
 Teaching/KRMT mmt
 #formats
@@ -71,7 +72,7 @@ MMT MMT/LATIN,MMT/urtheories,MMT/examples,MMT/LFX
 OAF HOLLight/basic,tps/tps,Mizar/MML,PVS/Prelude,PVS/NASA
 HOLLight HOLLight/basic
 PVS PVS/Prelude,PVS/NASA
-MitM MitM/Models,MitM/Foundation,MitM/smglom
+MitM MitM/Models,MitM/Foundation,MitM/smglom,MitM/interfaces
 ODK ODK/ODK,ODK/Sage,ODK/GAP,ODK/lmfdb
 Teaching Teaching/KRMT    
 #mainpage_help