- document.write('<frameset rows="18%,*" border="0" scrolling="no">');
- document.write('<frame src="control.html?url=' + getParam('url') +'"/>');
- document.write('<frame src="' + unescape(getParam('url')) + '" + name="result"/>');
-/*
- document.write('<frame src="control.html' +
- '?topurl=' + location.protocol + "//" + location.host + location.pathname +
- '&mode=' + getParam('mode') +
- '&cicuri=' + getParam('cicuri') +
- '&theoryuri=' + getParam('theoryuri') +
- '&processorURL=' + getParam('processorURL') +
- '&getterURL=' + getParam('getterURL') +
- '" name="control"/>');
-*/
-/*
- document.write('<frame src="' +
- getParam('processorURL') + 'apply' +
- '?keys=GP' +
- '&xmluri=' + location.protocol + "//" + location.host + chopSlash(location.pathname) + "/header.html" +
- '¶m.uri=' + getParam('theoryuri') +
- '" name="theoryheader"/>');
- document.write('<frame src="' +
- getParam('processorURL') + 'apply' +
- '?keys=L2H' +
- '&xmluri=' + escape(getParam('getterURL') + 'ls?format=xml&baseuri=' + getParam('theoryuri')) +
- '¶m.keys=L2H' +
- '¶m.uri=' + getParam('theoryuri') +
- '¶m.getterURL=' + getParam('getterURL') +
- '¶m.target=theory' +
- '¶m.interfaceURL=' + location.protocol + "//" + location.host + chopSlash(chopSlash(chopSlash(location.pathname))) +
- '" name="theoryresult"/>');
-*/
+ var processorURL = "<subst:processorURL/>";
+ var interfaceURL = "<subst:interfaceURL/>";
+ var profile = "<subst:profile/>";
+ var CICURI = "<subst:CICURI/>";
+ var annotations = "<subst:annotations/>";
+ var url = "<subst:makeURL/>";
+<![CDATA[
+ document.write('<frameset cols="20%,*" border="1">');
+ document.write('<frame src="' + processorURL +
+ 'apply?keys=SPK%2CRT&profile=' + profile + '¶m.profile=' + profile +
+ '¶m.annotations=' + annotations + '¶m.CICURI=' +
+ CICURI + '¶m.url=' + escape(url) + '&xmluri=' +
+ escape(interfaceURL + 'html/cic/control.html') +'"/>');
+ document.write('<frame src="' + url + '¶m.toplevel=true" name="result"/>');