"¶m.interfaceURL=" + escape(interfaceURL) +
"¶m.thinterfaceURL=" + escape(thinterfaceURL);
} else if (format == "mml_cont" && type == "cic") {
- keys = escape("d_c,C1");
+ keys = escape("d_c,C1")+
+ "&prop.doctype-public="+
+ "&prop.encoding=" +
+ "&prop.media-type=text/xml" +
+ "¶m.doctype-public=" +
+ "¶m.encoding=" +
+ "¶m.media-type=text/xml";
} else if (format == "mml_cont" && type == "theory") {
keys = escape("T1,L,E")+
"¶m.keys=" + escape("d_c,C1") +