- document.write('<frame src="control.html' +
- '?topurl=' + chopSlash(chopSlash(chopSlash(location.protocol + "//" + location.host + location.pathname))) +
- '&mode=' + getParam('mode') +
- '&cicuri=' + getParam('cicuri') +
- '&theoryuri=' + getParam('theoryuri') +
- '&processorURL=' + getParam('processorURL') +
- '&getterURL=' + getParam('getterURL') +
- '&UNICODEvsSYMBOL=' + getParam('UNICODEvsSYMBOL') +
- '" name="control"/>');
+ var control_frame_URL=
+ topurl + '/html/library/control.html' +
+ '?topurl=' + topurl +
+ '&mode=' + getParam2('mode') +
+ '&cicuri=' + getParam2('cicuri') +
+ '&theoryuri=' + getParam2('theoryuri') +
+ '&processorURL=' + getParam2('processorURL') +
+ '&getterURL=' + getParam2('getterURL') +
+ '&proofcheckerURL=' + getParam2('proofcheckerURL') +
+ '&draw_graphURL=' + getParam2('draw_graphURL') +
+ '&uri_set_queueURL=' + getParam2('uri_set_queueURL') +
+ '&UNICODEvsSYMBOL=' + getParam2('UNICODEvsSYMBOL');
+ var escaped_control_frame_URL = escape(control_frame_URL);
+ document.write('<frame src="' +
+ getParam2('processorURL') + 'apply' +
+ '?keys=RT' +
+ '¶m.topurl=' + topurl +
+ '&xmluri=' + escaped_control_frame_URL + '" name="control"/>');