1 <?xml version="1.0" encoding="UTF-8"?>
3 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "DTD/xhtml1-strict.dtd">
6 <html xmlns:subst="http://www.cs.unibo.it/helm/subst">
8 <!-- Note: <subst:script/> are substitued by the stylesheet with <script /> -->
9 <!-- after changing @src in the concatenation of the interface URL with @src -->
10 <subst:script language="JavaScript" src="/javascript/defaults.js" />
11 <subst:script language="JavaScript" src="/javascript/utils.js" />
15 var topurl = "<subst:interfaceURL/>";
16 var getterURL = "<subst:getterURL/>";
17 var processorURL = "<subst:processorURL/>";
18 var profile = "<subst:profile/>";
20 document.write('<frameset rows="18%,*" border="0" scrolling="no">');
21 var control_frame_URL=
22 topurl + '/html/library/control.html' +
24 '&mode=' + getParam2('mode') +
25 '&cicuri=' + getParam2('cicuri') +
26 '&theoryuri=' + getParam2('theoryuri');
27 var escaped_control_frame_URL = escape(control_frame_URL);
28 document.write('<frame src="' +
29 processorURL + 'apply' +
31 '&profile=' + profile +
32 '¶m.profile=' + profile +
33 '¶m.topurl=' + topurl +
34 '&xmluri=' + escaped_control_frame_URL + '" name="control"/>');
35 document.write('<frameset cols="50%,50%" border="0" scrolling="no">');
36 document.write('<frameset rows="11%,*" border="0" scrolling="no">');
37 document.write('<frame src="' +
38 processorURL + 'apply' +
40 '&profile=' + profile +
41 '¶m.profile=' + profile +
42 '&xmluri=' + topurl + '/html/library/header.html' +
43 '¶m.uri=' + getParam2('theoryuri') +
44 '" name="theoryheader"/>');
45 document.write('<frame src="' +
46 processorURL + 'apply' +
48 '&profile=' + profile +
49 '¶m.profile=' + profile +
50 '&xmluri=' + escape(getterURL + 'ls?format=xml&baseuri=' + getParam2('theoryuri')) +
52 '¶m.uri=' + getParam2('theoryuri') +
53 '¶m.target=theory' +
54 '" name="theoryresult"/>');
55 document.write('</frameset>');
56 document.write('<frameset rows="11%,*" border="0" scrolling="no">');
57 document.write('<frame src="' +
58 processorURL + 'apply' +
60 '&profile=' + profile +
61 '¶m.profile=' + profile +
62 '&xmluri=' + topurl + '/html/library/header.html' +
63 '¶m.uri=' + getParam2('cicuri') +
64 '" name="cicheader"/>');
65 document.write('<frame src="' +
66 processorURL + 'apply' +
68 '&profile=' + profile +
69 '¶m.profile=' + profile +
70 '&xmluri=' + escape(getterURL + 'ls?format=xml&baseuri=' + getParam2('cicuri')) +
72 '¶m.uri=' + getParam2('cicuri') +
74 '" name="cicresult"/>');
75 document.write('</frameset>');
76 document.write('</frameset>');
77 document.write('</frameset>');