]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/html/library/index.html
top.topurl alias topurl alias interfaceURL alias thinterfaceURL is no
[helm.git] / helm / on-line / html / library / 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>Index</script></title>
8 </head>
9 <script>
10   document.write('<frameset rows="18%,*" border="0" scrolling="no">');
11   document.write('<frame src="control.html' +
12         '?topurl=' + chopSlash(chopSlash(chopSlash(location.protocol + "//" + location.host + location.pathname))) +
13         '&mode=' + getParam('mode') +
14         '&cicuri=' + getParam('cicuri') +
15         '&theoryuri=' + getParam('theoryuri') +
16         '&processorURL=' + getParam('processorURL') +
17         '&getterURL=' + getParam('getterURL') +
18         '&UNICODEvsSYMBOL=' + getParam('UNICODEvsSYMBOL') +
19         '" name="control"/>');
20   document.write('<frameset cols="50%,50%" border="0" scrolling="no">');
21   document.write('<frameset rows="11%,*" border="0" scrolling="no">');
22   document.write('<frame src="' +
23         getParam('processorURL') + 'apply' +
24         '?keys=GP' +
25         '&xmluri=' + location.protocol + "//" + location.host + chopSlash(location.pathname) + "/header.html" +
26         '&param.uri=' + getParam('theoryuri') + 
27         '" name="theoryheader"/>');
28   document.write('<frame src="' +
29         getParam('processorURL') + 'apply' +
30         '?keys=L2H' +
31         '&xmluri=' + escape(getParam('getterURL') + 'ls?format=xml&baseuri=' + getParam('theoryuri')) +
32         '&param.keys=L2H' +
33         '&param.uri=' + getParam('theoryuri') +
34         '&param.getterURL=' + getParam('getterURL') +
35         '&param.UNICODEvsSYMBOL=' + getParam('UNICODEvsSYMBOL') +
36         '&param.target=theory' +
37         '&param.interfaceURL=' + location.protocol + "//" + location.host + chopSlash(chopSlash(chopSlash(location.pathname))) + 
38         '" name="theoryresult"/>');
39   document.write('</frameset>');
40   document.write('<frameset rows="11%,*" border="0" scrolling="no">');
41   document.write('<frame src="' +
42         getParam('processorURL') + 'apply' +
43         '?keys=GP' +
44         '&xmluri=' + location.protocol + "//" + location.host + chopSlash(location.pathname) + "/header.html" +
45         '&param.uri=' + getParam('cicuri') + 
46         '" name="cicheader"/>');
47   document.write('<frame src="' +
48         getParam('processorURL') + 'apply' +
49         '?keys=L2H' +
50         '&xmluri=' + escape(getParam('getterURL') + 'ls?format=xml&baseuri=' + getParam('cicuri')) +
51         '&param.keys=L2H' +
52         '&param.uri=' + getParam('cicuri') +
53         '&param.getterURL=' + getParam('getterURL') +
54         '&param.UNICODEvsSYMBOL=' + getParam('UNICODEvsSYMBOL') +
55         '&param.target=cic' +
56         '&param.interfaceURL=' + location.protocol + "//" + location.host + chopSlash(chopSlash(chopSlash(location.pathname))) +
57         '" name="cicresult"/>');
58   document.write('</frameset>');
59   document.write('</frameset>');
60   document.write('</frameset>');
61 </script>
62
63 </html>