<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
-<html>
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:subst="http://www.cs.unibo.it/helm/subst">
<head>
- <script language="JavaScript" src="../../javascript/defaults.js"></script>
- <script language="JavaScript" src="../../javascript/utils.js"></script>
- <title>???</script></title>
+ <title><subst:CICURI/></title>
</head>
<script>
- document.write('<frameset onLoad="window.focus()" 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"/>');
document.write('</frameset>');
+]]>
</script>
-
</html>