<title>Index</title>
</head>
<script>
- var topurl = "<subst:topurl/>";
+ var topurl = "<subst:interfaceURL/>";
+ var getterURL = "<subst:getterURL/>";
+ var processorURL = "<subst:processorURL/>";
+ var profile = "<subst:profile/>";
<![CDATA[
document.write('<frameset rows="18%,*" border="0" scrolling="no">');
var control_frame_URL=
'?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');
+ '&theoryuri=' + getParam2('theoryuri');
var escaped_control_frame_URL = escape(control_frame_URL);
document.write('<frame src="' +
- getParam2('processorURL') + 'apply' +
+ processorURL + 'apply' +
'?keys=RT' +
+ '&profile=' + profile +
+ '¶m.profile=' + profile +
'¶m.topurl=' + topurl +
'&xmluri=' + escaped_control_frame_URL + '" name="control"/>');
document.write('<frameset cols="50%,50%" border="0" scrolling="no">');
document.write('<frameset rows="11%,*" border="0" scrolling="no">');
document.write('<frame src="' +
- getParam2('processorURL') + 'apply' +
+ processorURL + 'apply' +
'?keys=GP' +
- //'&xmluri=' + location.protocol + "//" + location.host + chopSlash(location.pathname) + "/header.html" +
+ '&profile=' + profile +
+ '¶m.profile=' + profile +
'&xmluri=' + topurl + '/html/library/header.html' +
'¶m.uri=' + getParam2('theoryuri') +
'" name="theoryheader"/>');
document.write('<frame src="' +
- getParam2('processorURL') + 'apply' +
+ processorURL + 'apply' +
'?keys=L2H' +
- '&xmluri=' + escape(getParam2('getterURL') + 'ls?format=xml&baseuri=' + getParam2('theoryuri')) +
+ '&profile=' + profile +
+ '¶m.profile=' + profile +
+ '&xmluri=' + escape(getterURL + 'ls?format=xml&baseuri=' + getParam2('theoryuri')) +
'¶m.keys=L2H' +
'¶m.uri=' + getParam2('theoryuri') +
- '¶m.getterURL=' + getParam2('getterURL') +
- '¶m.proofcheckerURL=' + getParam2('proofcheckerURL') +
- '¶m.draw_graphURL=' + getParam2('draw_graphURL') +
- '¶m.uri_set_queueURL='+getParam2('uri_set_queueURL') +
- '¶m.UNICODEvsSYMBOL=' + getParam2('UNICODEvsSYMBOL') +
'¶m.target=theory' +
- //'¶m.interfaceURL=' + location.protocol + "//" + location.host + chopSlash(chopSlash(chopSlash(location.pathname))) +
- '¶m.interfaceURL=' + topurl +
'" name="theoryresult"/>');
document.write('</frameset>');
document.write('<frameset rows="11%,*" border="0" scrolling="no">');
document.write('<frame src="' +
- getParam2('processorURL') + 'apply' +
+ processorURL + 'apply' +
'?keys=GP' +
- //'&xmluri=' + location.protocol + "//" + location.host + chopSlash(location.pathname) + "/header.html" +
+ '&profile=' + profile +
+ '¶m.profile=' + profile +
'&xmluri=' + topurl + '/html/library/header.html' +
'¶m.uri=' + getParam2('cicuri') +
'" name="cicheader"/>');
document.write('<frame src="' +
- getParam2('processorURL') + 'apply' +
+ processorURL + 'apply' +
'?keys=L2H' +
- '&xmluri=' + escape(getParam2('getterURL') + 'ls?format=xml&baseuri=' + getParam2('cicuri')) +
+ '&profile=' + profile +
+ '¶m.profile=' + profile +
+ '&xmluri=' + escape(getterURL + 'ls?format=xml&baseuri=' + getParam2('cicuri')) +
'¶m.keys=L2H' +
'¶m.uri=' + getParam2('cicuri') +
- '¶m.getterURL=' + getParam2('getterURL') +
- '¶m.proofcheckerURL=' + getParam2('proofcheckerURL') +
- '¶m.draw_graphURL=' + getParam2('draw_graphURL') +
- '¶m.uri_set_queueURL='+getParam2('uri_set_queueURL') +
- '¶m.UNICODEvsSYMBOL=' + getParam2('UNICODEvsSYMBOL') +
'¶m.target=cic' +
- //'¶m.interfaceURL=' + location.protocol + "//" + location.host + chopSlash(chopSlash(chopSlash(location.pathname))) +
- '¶m.interfaceURL=' + topurl +
'" name="cicresult"/>');
document.write('</frameset>');
document.write('</frameset>');