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 InverseRDFURL = "<subst:InverseRDFURL/>";
28 var MathMLContentURL = "<subst:MathMLContentURL/>";
29 var MathMLPresentationURL = "<subst:MathMLPresentationURL/>";
30 var interfaceURL = "<subst:interfaceURL/>";
31 var mkDirDepURL = "<subst:makeDirectDependencyURL/>";
32 var mkInvDepURL = "<subst:makeInverseDirectDependencyURL/>";
33 var mkInvRecDepURL = "<subst:makeInverseRecDependencyURL/>";
34 var mkRecDepURL = "<subst:makeRecDependencyURL/>";
35 var processorURL = "<subst:processorURL/>";
36 var profile = "<subst:profile/>";
37 var proofcheckerURL = "<subst:proofcheckerURL/>";
38 var url = "<subst:url/>";
46 <uwobo:profileCtrlOptionList xmlns:uwobo="http://helm.cs.unibo.it/uwobo"
49 [<a href="http://helm.cs.unibo.it" target="_top">HELM home</a>]
51 document.write('[<a target="_top" href="' + processorURL +
52 'apply?keys=SPK&param.processorURL=' + escape(processorURL) +
53 '&param.profile=' + escape(profile) +
54 '&xmluri=' + interfaceURL + 'html/configuration.html' +
55 '">configuration</a>]');
62 document.write('<a target="result" style="color:black; text-decoration:none" href="' + url + '&param.toplevel=true">');
63 document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/object.png" />');
65 <h2 class="uri"><subst:base_CICURI/></h2>
66 <script>document.write('</a>');</script>
70 [Annotations are <script>if (annotations) == 'no') document.write('off'); else document.write('on')</script>]
76 var url = "<subst:url/>";
77 document.write('<a href="' + url + '" target="_blank">Open object in new window</a>');
84 document.write('[ <a href="' + HTMLURL + '&param.toplevel=true" target="result"><small>HTML</small></a>');
85 document.write(' | ');
86 document.write('<a href="' + MathMLPresentationURL + '&param.toplevel=true" target="result"><small>MathML</small></a> ]');
91 var url = processorURL + "apply?keys=MC%2CRT%2CL&xmluri=" +
92 getterURL + "getxml%3Furi%3D" + cleanCICURI +
93 "&prop.media-type=text/html&prop.encoding=iso-8859-1" +
94 "&param.CICURI=" + cleanCICURI + "&param.profile=" + profile +
95 "&profile=" + profile;
97 '<a target="result" href="' + url + '">View metadata</a>'
103 url = proofcheckerURL + "proofCheck?uri=" + cleanCICURI;
105 '<a target="result" href="' + url + '">Proof check</a>'
111 <ul class="control2">
114 document.write('<a target="result" href="' + mkDirDepURL + '">direct</a>');
119 document.write('<a target="result" href="' + mkInvDepURL + '">inverse</a>');
124 document.write('<a target="result" href="' + mkRecDepURL + '">recursive direct</a> (graph)');
129 document.write('<a target="result" href="' + mkInvRecDepURL + '">recursive inverse</a> (graph)');
138 <ul class="control2">
141 document.write('<a href="' + CICURL + '" target="result">CIC XML</a>');
146 document.write('<a href="' + MathMLContentURL + '" target="result">MathML Content</a>');
151 document.write('<a href="' + MathMLPresentationURL + '" target="result">MathML Presentation</a>');
156 document.write('<a href="' + HTMLURL + '" target="result">HTML</a>');
163 <ul class="control2">
166 document.write('<a target="result" href="' + DirectRDFURL + '">direct dependencies</a>');
171 document.write('<a target="result" href="' + InverseRDFURL + '">inverse dependencies</a>');
176 document.write('<a target="result" href="' + DCRDFURL + '">Dublin Core</a>');