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">
7 <style type="text/css">
8 #normal { background-color: #e6e6fa; font-family: sans-serif }
9 td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
10 td.back { background-color: #e6e6fa; color: brown }
11 #indent { margin-left: 1cm; margin-right: 1cm }
12 ul.control { padding-left: 1em; list-style: none; }
13 ul.control2 { font-size: small; padding-left: 2em; }
14 div.center { text-align: center }
15 h2.uri { margin-top: 0ex; margin-bottom: 0ex }
19 var annotations="<subst:annotations/>";
20 var CICURI="<subst:CICURI/>";
21 var cleanCICURI="<subst:cleanCICURI/>";
22 var CICURL = "<subst:CICURL/>";
23 var DCRDFURL = "<subst:DCRDFURL/>";
24 var DirectRDFURL = "<subst:DirectRDFURL/>";
25 var getterURL = "<subst:getterURL/>";
26 var HTMLURL = "<subst:HTMLURL/>";
27 var ProofTreeURL = "<subst:makeProofTreeURL/>";
28 var InverseRDFURL = "<subst:InverseRDFURL/>";
29 var MathMLContentURL = "<subst:MathMLContentURL/>";
30 var MathMLPresentationURL = "<subst:MathMLPresentationURL/>";
31 var interfaceURL = "<subst:interfaceURL/>";
32 var mkDirDepURL = "<subst:makeDirectDependencyURL/>";
33 var mkInvDepURL = "<subst:makeInverseDirectDependencyURL/>";
34 var mkInvRecDepURL = "<subst:makeInverseRecDependencyURL/>";
35 var mkRecDepURL = "<subst:makeRecDependencyURL/>";
36 var processorURL = "<subst:processorURL/>";
37 var profile = "<subst:profile/>";
38 var proofcheckerURL = "<subst:proofcheckerURL/>";
39 var url = "<subst:url/>";
47 <uwobo:profileCtrlOptionList xmlns:uwobo="http://helm.cs.unibo.it/uwobo"
50 [<a href="http://helm.cs.unibo.it" target="_top">HELM home</a>]
52 document.write('[<a target="_top" href="' + processorURL +
53 'apply?keys=SPK&param.processorURL=' + escape(processorURL) +
54 '&param.profile=' + escape(profile) +
55 '&xmluri=' + interfaceURL + 'html/configuration.html' +
56 '">configuration</a>]');
63 document.write('<a target="result" style="color:black; text-decoration:none" href="' + url + '">');
64 document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/object.png" />');
66 <h2 class="uri"><subst:base_CICURI/></h2>
67 <script>document.write('</a>');</script>
71 [Annotations are <script>if (annotations) == 'no') document.write('off'); else document.write('on')</script>]
77 var url = "<subst:url/>";
78 document.write('<a href="' + url + '" target="_blank">Open object in new window</a>');
85 document.write('[ <a href="' + HTMLURL + '&param.toplevel=true" target="result"><small>HTML</small></a>');
86 document.write(' | ');
87 document.write('<a href="' + MathMLPresentationURL + '&param.toplevel=true" target="result"><small>MathML</small></a> ]');
92 document.write('<a href="' + ProofTreeURL + '&param.toplevel=true" target="result">View proof tree</a>');
97 var url = processorURL + "apply?keys=MC%2CRT%2CL&xmluri=" +
98 getterURL + "getxml%3Furi%3D" + cleanCICURI +
99 "&prop.media-type=text/html&prop.encoding=iso-8859-1" +
100 "&param.CICURI=" + cleanCICURI + "&param.profile=" + profile +
101 "&profile=" + profile;
103 '<a target="result" href="' + url + '">View metadata</a>'
109 url = proofcheckerURL + "proofCheck?uri=" + cleanCICURI;
111 '<a target="result" href="' + url + '">Proof check</a>'
117 <ul class="control2">
120 document.write('<a target="result" href="' + mkDirDepURL + '">direct</a>');
125 document.write('<a target="result" href="' + mkInvDepURL + '">inverse</a>');
130 document.write('<a target="result" href="' + mkRecDepURL + '">recursive direct</a> (graph)');
135 document.write('<a target="result" href="' + mkInvRecDepURL + '">recursive inverse</a> (graph)');
144 <ul class="control2">
147 document.write('<a href="' + CICURL + '" target="result">CIC XML</a>');
152 document.write('<a href="' + MathMLContentURL + '" target="result">MathML Content</a>');
157 document.write('<a href="' + MathMLPresentationURL + '" target="result">MathML Presentation</a>');
162 document.write('<a href="' + HTMLURL + '" target="result">HTML</a>');
169 <ul class="control2">
172 document.write('<a target="result" href="' + DirectRDFURL + '">direct dependencies</a>');
177 document.write('<a target="result" href="' + InverseRDFURL + '">inverse dependencies</a>');
182 document.write('<a target="result" href="' + DCRDFURL + '">Dublin Core</a>');