+ var uri_len = uri.length;
+ if (format == "html" && type == "cic" && uri.substring(uri.length - 10, uri.length) == "proof_tree") {
+ keys = getCICProofTreeXHTMLMathMLKeys() +
+ "¶m.processorURL=" + escape(processorURL) +
+ "¶m.getterURL=" + escape(getterURL) +
+ "¶m.proofcheckerURL=" + escape(proofcheckerURL) +
+ "¶m.draw_graphURL=" + escape(draw_graphURL) +
+ "¶m.uri_set_queueURL=" + escape(uri_set_queueURL) +
+ "¶m.UNICODEvsSYMBOL=" + escape(UNICODEvsSYMBOL) +
+ "&prop.doctype-public="+escape("-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN")+
+ "&prop.doctype-system="+escape("http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd")+
+ "&prop.encoding=iso-8859-1" +
+ "&prop.media-type=text/xml" +
+ "&prop.method=xml" +
+ "¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
+ "¶m.encoding=iso-8859-1" +
+ "¶m.media-type=text/html" +
+ "¶m.keys=" + getCICHTMLKeys() +
+ "¶m.interfaceURL=" + escape(interfaceURL) +
+ "¶m.framewidth=150";
+ } else if (format == "html" && type == "cic") {