]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/html/cic/index.html
ocaml 3.09 transition
[helm.git] / 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 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:CICURI/>";
12  var annotations = "<subst:annotations/>";
13  var url = "<subst:makeURL/>";
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=' +
19     CICURI + '&param.url=' + escape(url) + '&xmluri=' +
20     escape(interfaceURL + 'html/cic/control.html') +'"/>');
21   document.write('<frame src="' + url + '&param.toplevel=true" name="result"/>');
22   document.write('</frameset>');
23 ]]>
24 </script>
25 </html>