helm/on-line/html/theory/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 xmlns="http://www.w3.org/1999/xhtml" xmlns:subst="http://www.cs.unibo.it/helm/subst">
   4 <head>
   5  <title><subst:CICURI/></title>
   6 </head>
   7 <script>
   8  var processorURL = "<subst:processorURL/>";
   9  var interfaceURL = "<subst:interfaceURL/>";
  10  var profile = "<subst:profile/>";
  11  var CICURI = "<subst:cleanCICURI/>";
  12  var annotations = "<subst:annotations/>";
  13  var url = "<subst:makeTheoryURL/>";
  14 <![CDATA[
  15   document.write('<frameset cols="20%,*" border="1" >');
  16   document.write('<frame src="' + processorURL +
  17     'apply?keys=SPK%2CRT&profile=' + profile + '&param.profile=' + profile +
  18     '&param.annotations=' + annotations + '&param.CICURI=' + CICURI +
  19     '&param.url=' + escape(url) + '&xmluri=' +
  20     escape(interfaceURL + 'html/theory/control.html') +'"/>');
  21   document.write('<frame src="' + url + '" name="result"/>');
  22   document.write('</frameset>');
  23 ]]>
  24 </script>
  25 </html>