+++ /dev/null
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
-"http://www.w3.org/TR/REC-html40/loose.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml" xmlns:subst="http://www.cs.unibo.it/helm/subst">
-
-<head>
-
-<style type="text/css">
-#normal { background-color: #e6e6fa; font-family: sans-serif }
-td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
-td.back { background-color: #e6e6fa; color: brown }
-#indent { margin-left: 1cm; margin-right: 1cm }
-ul.control { padding-left: 1em; list-style: none; }
-ul.control2 { font-size: small; padding-left: 2em; }
-div.center { text-align: center }
-h2.uri { margin-top: 0ex; margin-bottom: 0ex }
-</style>
-
-<script>
- var annotations="<subst:annotations/>";
- var CICURI="<subst:CICURI/>";
- var cleanCICURI="<subst:cleanCICURI/>";
- var CICURL = "<subst:CICURL/>";
- var DCRDFURL = "<subst:DCRDFURL/>";
- var DirectRDFURL = "<subst:DirectRDFURL/>";
- var getterURL = "<subst:getterURL/>";
- var HTMLURL = "<subst:HTMLURL/>";
- var ProofTreeURL = "<subst:makeProofTreeURL/>";
- var InverseRDFURL = "<subst:InverseRDFURL/>";
- var MathMLContentURL = "<subst:MathMLContentURL/>";
- var MathMLPresentationURL = "<subst:MathMLPresentationURL/>";
- var interfaceURL = "<subst:interfaceURL/>";
- var mkDirDepURL = "<subst:makeDirectDependencyURL/>";
- var mkInvDepURL = "<subst:makeInverseDirectDependencyURL/>";
- var mkInvRecDepURL = "<subst:makeInverseRecDependencyURL/>";
- var mkRecDepURL = "<subst:makeRecDependencyURL/>";
- var processorURL = "<subst:processorURL/>";
- var profile = "<subst:profile/>";
- var proofcheckerURL = "<subst:proofcheckerURL/>";
- var url = "<subst:url/>";
-</script>
-</head>
-
-<body id="normal">
- <div class="center">
- <small>
- User:
- <uwobo:profileCtrlOptionList xmlns:uwobo="http://helm.cs.unibo.it/uwobo"
- type="cic"/>
- <br />
- [<a href="http://helm.cs.unibo.it" target="_top">HELM home</a>]
- <script>
- document.write('[<a target="_top" href="' + processorURL +
- 'apply?keys=SPK&param.processorURL=' + escape(processorURL) +
- '&param.profile=' + escape(profile) +
- '&xmluri=' + interfaceURL + 'html/configuration.html' +
- '">configuration</a>]');
- </script>
- </small>
- </div>
- <hr />
- <div class="center">
- <script>
- document.write('<a target="result" style="color:black; text-decoration:none" href="' + url + '">');
- document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/object.png" />');
- </script>
- <h2 class="uri"><subst:base_CICURI/></h2>
- <script>document.write('</a>');</script>
- </div>
- <hr />
-<!--
- [Annotations are <script>if (annotations) == 'no') document.write('off'); else document.write('on')</script>]
--->
-<ul class="control">
-<!--
- <li>
- <script>
- var url = "<subst:url/>";
- document.write('<a href="' + url + '" target="_blank">Open object in new window</a>');
- </script>
- </li>
--->
- <li>
- View
- <script>
- document.write('[ <a href="' + HTMLURL + '&param.toplevel=true" target="result"><small>HTML</small></a>');
- document.write(' | ');
- document.write('<a href="' + MathMLPresentationURL + '&param.toplevel=true" target="result"><small>MathML</small></a> ]');
- </script>
- </li>
- <li>
- <script>
- document.write('<a href="' + ProofTreeURL + '&param.toplevel=true" target="result">View proof tree</a>');
- </script>
- </li>
- <li>
- <script>
- var url = processorURL + "apply?keys=MC%2CRT%2CL&xmluri=" +
- getterURL + "getxml%3Furi%3D" + cleanCICURI +
- "&prop.media-type=text/html&prop.encoding=iso-8859-1" +
- "&param.CICURI=" + cleanCICURI + "&param.profile=" + profile +
- "&profile=" + profile;
- document.write(
- '<a target="result" href="' + url + '">View metadata</a>'
- );
- </script>
- </li>
- <li>
- <script>
- url = proofcheckerURL + "proofCheck?uri=" + cleanCICURI;
- document.write(
- '<a target="result" href="' + url + '">Proof check</a>'
- );
- </script>
- </li>
- <li>
- Analyse dependencies
- <ul class="control2">
- <li>
- <script>
- document.write('<a target="result" href="' + mkDirDepURL + '">direct</a>');
- </script>
- </li>
- <li>
- <script>
- document.write('<a target="result" href="' + mkInvDepURL + '">inverse</a>');
- </script>
- </li>
- <li>
- <script>
- document.write('<a target="result" href="' + mkRecDepURL + '">recursive direct</a> (graph)');
- </script>
- </li>
- <li>
- <script>
- document.write('<a target="result" href="' + mkInvRecDepURL + '">recursive inverse</a> (graph)');
- </script>
- </li>
- </ul>
- </li>
-</ul>
-<hr />
-<ul class="control">
- <li> Download
- <ul class="control2">
- <li>
- <script>
- document.write('<a href="' + CICURL + '" target="result">CIC XML</a>');
- </script>
- </li>
- <li>
- <script>
- document.write('<a href="' + MathMLContentURL + '" target="result">MathML Content</a>');
- </script>
- </li>
- <li>
- <script>
- document.write('<a href="' + MathMLPresentationURL + '" target="result">MathML Presentation</a>');
- </script>
- </li>
- <li>
- <script>
- document.write('<a href="' + HTMLURL + '" target="result">HTML</a>');
- </script>
- </li>
- </ul>
- </li>
- <li>
- Download metadata
- <ul class="control2">
- <li>
- <script>
- document.write('<a target="result" href="' + DirectRDFURL + '">direct dependencies</a>');
- </script>
- </li>
- <li>
- <script>
- document.write('<a target="result" href="' + InverseRDFURL + '">inverse dependencies</a>');
- </script>
- </li>
- <li>
- <script>
- document.write('<a target="result" href="' + DCRDFURL + '">Dublin Core</a>');
- </script>
- </li>
- </ul>
- </li>
-</ul>
-</body>
-</html>