- top.processorURL = getParam('processorURL');
- top.getterURL = getParam('getterURL');
- top.topurl = getParam('topurl');
- top.mode = getParam('mode');
- top.cicuri = getParam('cicuri');
- top.theoryuri = getParam('theoryuri');
+<![CDATA[
+ top.processorURL = getParam2('processorURL');
+ top.getterURL = getParam2('getterURL');
+ top.proofcheckerURL = getParam2('proofcheckerURL');
+ top.draw_graphURL = getParam2('draw_graphURL');
+ top.uri_set_queueURL = getParam2('uri_set_queueURL');
+ top.UNICODEvsSYMBOL = getParam2('UNICODEvsSYMBOL');
+ top.topurl = getParam2('topurl');
+ top.mode = getParam2('mode');
+ top.cicuri = getParam2('cicuri');
+ top.theoryuri = getParam2('theoryuri');
+]]>