"¶m.interfaceURL=" + escape(interfaceURL);
} else if (format == "mml_pres" && type == "theory") {
keys = escape("T1,T2,L,E")+
"¶m.interfaceURL=" + escape(interfaceURL);
} else if (format == "mml_pres" && type == "theory") {
keys = escape("T1,T2,L,E")+