more informal

config/MathHub/config.mcf

@@ -33,12 +33,13 @@ smglom/trigonometry stex
 smglom/manifolds stex
 MiKoMH/ACS stex
 MiKoMH/AI stex
-MiKoMH/GenCS stex
-MiKoMH/ComSem stex
 MiKoMH/CompLog stex
-MiKoMH/TopModCS stex
-MiKoMH/TDM stex
+MiKoMH/ComSem stex
+MiKoMH/GenCS stex
 MiKoMH/GenICT stex
+MiKoMH/KWARC stex
+MiKoMH/talks stex
+MiKoMH/TDM stex
 MiKoMH/TopModCS stex
 HelloWorld/coursematerials stex
 HelloWorld/hwexam stex
@@ -64,7 +65,7 @@ omdoc index mh-html,planetary
 pvs pvs-omdoc mh-html,planetary
 #profiles
 smglom smglom/algebra,smglom/calculus,smglom/functional-analysis,smglom/graphs,smglom/linear-algebra,smglom/arithmetics,smglom/numthy,smglom/primes,smglom/smglom,smglom/topology,smglom/analysis,smglom/constants,smglom/geometry,smglom/identities,smglom/magic,smglom/mv,smglom/numbers,smglom/numthyfun,smglom/sets,smglom/trigonometry,smglom/manifolds,smglom/complexity,smglom/elliptic-curves
-MiKoMH MiKoMH/GenCS,MiKoMH/TopModCS,MiKoMH/ComSem,MiKoMH/CompLog,MiKoMH/TDM,MiKoMH/GenICT
+MiKoMH MiKoMH/ACS,MiKoMH/AI,MiKoMH/CompLog,MiKoMH/ComSem,MiKoMH/GenCS,MiKoMH/GenICT,MiKoMH/KWARC,MiKoMH/talks,MiKoMH/TDM,MiKoMH/TopModCS
 HelloWorld HelloWorld/coursematerials,HelloWorld/hwexam,HelloWorld/smglom,HelloWorld/MMT
 MMT MMT/LATIN,MMT/urtheories,MMT/examples,MMT/LFX
 OAF HOLLight/basic,tps/tps,Mizar/MML,PVS/Prelude,PVS/NASA