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