X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fcontrol.js;h=d49da35ba42c81d687d55c431b919bf47ecb0f5c;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=e6ad6269eab836c142313d0681a81bf2a9922c17;hpb=4866a470d100cd7eb99c499beef9b61ec0e0a3ad;p=helm.git diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js index e6ad6269e..d49da35ba 100644 --- a/helm/on-line/javascript/control.js +++ b/helm/on-line/javascript/control.js @@ -22,11 +22,12 @@ function updateOutput(output,format) 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); @@ -94,6 +95,7 @@ function refreshReload() "&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; @@ -149,6 +151,7 @@ function makeURL(type,uri,cicflags,typesflags) 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; @@ -179,6 +182,7 @@ function makeURL(type,uri,cicflags,typesflags) 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) + @@ -194,6 +198,7 @@ function makeURL(type,uri,cicflags,typesflags) 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) + @@ -223,6 +228,7 @@ function makeURL(type,uri,cicflags,typesflags) "¶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=" + @@ -236,6 +242,7 @@ function makeURL(type,uri,cicflags,typesflags) 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="+ @@ -250,9 +257,10 @@ function makeURL(type,uri,cicflags,typesflags) 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=" +