var topurl = top.topurl;
var processorURL = top.processorURL;
var getterURL = top.getterURL;
+ var proofcheckerURL = top.proofcheckerURL;
var draw_graphURL = top.draw_graphURL;
var uri_set_queueURL = top.uri_set_queueURL;
var mode_list = mode.split(",");
var new_mode = output.options[output.selectedIndex].value;
- var dest = "?theoryuri=" + theoryuri + "&cicuri=" + cicuri + "&topurl=" + topurl + "&processorURL=" + processorURL + "&getterURL=" + getterURL + "&draw_graphURL=" + draw_graphURL + "&uri_set_queueURL=" + uri_set_queueURL + "&mode=";
+ var dest = "?theoryuri=" + theoryuri + "&cicuri=" + cicuri + "&topurl=" + topurl + "&processorURL=" + processorURL + "&getterURL=" + getterURL + "&proofcheckerURL=" + proofcheckerURL + "&draw_graphURL=" + draw_graphURL + "&uri_set_queueURL=" + uri_set_queueURL + "&mode=";
if (new_mode != mode_list[0]) {
updateMode(0, new_mode);
"&theoryuri=" + top.theoryuri +
"&processorURL=" + top.processorURL +
"&getterURL=" + top.getterURL +
+ "&proofcheckerURL=" + top.proofcheckerURL +
"&draw_graphURL=" + top.draw_graphURL +
"&uri_set_queueURL=" + top.uri_set_queueURL +
"&UNICODEvsSYMBOL=" + top.UNICODEvsSYMBOL;
var mode = top.mode;
var processorURL = top.processorURL;
var getterURL = top.getterURL;
+ var proofcheckerURL = top.proofcheckerURL;
var draw_graphURL = top.draw_graphURL;
var uri_set_queueURL = top.uri_set_queueURL;
var UNICODEvsSYMBOL = top.UNICODEvsSYMBOL;
keys = getCICHTMLKeys() +
"¶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) +
keys = getTheoryKeys()+
"¶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) +
"¶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.doctype-public=" +
keys = getCICMathMLKeys()+
"¶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) +
"&prop.doctype-public="+
keys = getTheoryKeys()+
"¶m.keys=" + getCICMathMLKeys() +
"¶m.thkeys=" + getTheoryKeys() +
- "¶m.embedkeys=" + escape(d_c,TC1,G,C2,L) +
+ "¶m.embedkeys=" + escape("d_c,TC1,G,C2,L") +
"¶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.doctype-public=" +