helm/on-line/html/cic/index.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
   2 "http://www.w3.org/TR/REC-html40/loose.dtd">
   3 <html>
   4 <head>
   5  <script language="JavaScript" src="../../javascript/defaults.js"></script>
   6  <script language="JavaScript" src="../../javascript/utils.js"></script>
   7  <title>???</script></title>
   8 </head>
   9 <script>
  10   document.write('<frameset rows="18%,*" border="0" scrolling="no">');
  11   document.write('<frame src="control.html?url=' + getParam('url') +'"/>');
  12   document.write('<frame src="' + unescape(getParam('url')) + '"/>');
  13 /*
  14   document.write('<frame src="control.html' +
  15         '?topurl=' + location.protocol + "//" + location.host + location.pathname +
  16         '&mode=' + getParam('mode') +
  17         '&cicuri=' + getParam('cicuri') +
  18         '&theoryuri=' + getParam('theoryuri') +
  19         '&processorURL=' + getParam('processorURL') +
  20         '&getterURL=' + getParam('getterURL') +
  21         '" name="control"/>');
  22 */
  23 /*
  24   document.write('<frame src="' +
  25         getParam('processorURL') + 'apply' +
  26         '?keys=GP' +
  27         '&xmluri=' + location.protocol + "//" + location.host + chopSlash(location.pathname) + "/header.html" +
  28         '&param.uri=' + getParam('theoryuri') +
  29         '" name="theoryheader"/>');
  30   document.write('<frame src="' +
  31         getParam('processorURL') + 'apply' +
  32         '?keys=L2H' +
  33         '&xmluri=' + escape(getParam('getterURL') + 'ls?format=xml&baseuri=' + getParam('theoryuri')) +
  34         '&param.keys=L2H' +
  35         '&param.uri=' + getParam('theoryuri') +
  36         '&param.getterURL=' + getParam('getterURL') +
  37         '&param.target=theory' +
  38         '&param.interfaceURL=' + location.protocol + "//" + location.host + chopSlash(chopSlash(chopSlash(location.pathname))) +
  39         '" name="theoryresult"/>');
  40 */
  41   document.write('</frameset>');
  42 </script>
  43
  44 </html>