helm/on-line/html/cic/control.html

   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">
   4
   5 <head>
   6
   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 </style>
  16
  17 <script>
  18  var annotations="<subst:annotations/>";
  19  var CICURI="<subst:CICURI/>";
  20  var CICURL = "<subst:CICURL/>";
  21  var DCRDFURL = "<subst:DCRDFURL/>";
  22  var DirectRDFURL = "<subst:DirectRDFURL/>";
  23  var getterURL = "<subst:getterURL/>";
  24  var HTMLURL = "<subst:HTMLURL/>";
  25  var InverseRDFURL = "<subst:InverseRDFURL/>";
  26  var MathMLContentURL = "<subst:MathMLContentURL/>";
  27  var MathMLPresentationURL = "<subst:MathMLPresentationURL/>";
  28  var mkDirDepURL = "<subst:makeDirectDependencyURL/>";
  29  var mkInvDepURL = "<subst:makeInverseDirectDependencyURL/>";
  30  var mkInvRecDepURL = "<subst:makeInverseRecDependencyURL/>";
  31  var mkRecDepURL = "<subst:makeRecDependencyURL/>";
  32  var processorURL = "<subst:processorURL/>";
  33  var profile = "<subst:profile/>";
  34  var proofcheckerURL = "<subst:proofcheckerURL/>";
  35  var url = "<subst:url/>";
  36 </script>
  37 </head>
  38
  39 <body id="normal">
  40  <div class="center">
  41   <script>document.write('&lt;a target="result" style="text-decoration:none" href="' + url + '">');</script>
  42   <img style="border-style:none" src="http://helm.cs.unibo.it/helm/icons/object.png" />
  43   <h2><subst:base_CICURI/></h2>
  44   <script>document.write('&lt;/a>');</script>
  45  </div>
  46  <hr />
  47 <!--
  48   [Annotations are <script>if (annotations) == 'no') document.write('off'); else document.write('on')</script>]
  49 -->
  50 <ul class="control">
  51 <!--
  52   <li>
  53     <script>
  54      var url = "<subst:url/>";
  55      document.write('<a href="' + url + '" target="_blank">Open object in new window</a>');
  56      </script>
  57   </li>
  58 -->
  59   <li>
  60     View [
  61     <script>
  62      document.write('<a href="' + HTMLURL + '&amp;param.toplevel=true" target="result"><small>HTML</small></a>');
  63      document.write(' / ');
  64      document.write('<a href="' + MathMLPresentationURL + '&amp;param.toplevel=true" target="result"><small>MathML</small></a>');
  65      </script>
  66      ]
  67   </li>
  68   <li>
  69     <script>
  70      var url = processorURL + "apply?keys=MC%2CRT&amp;xmluri=" +
  71          getterURL + "getxml%3Furi%3D" + CICURI +
  72          "&amp;prop.media-type=text/html&amp;prop.encoding=iso-8859-1" +
  73          "&amp;param.CICURI=" + CICURI + "&amp;param.profile=" + profile +
  74          "&amp;profile=" + profile;
  75      document.write(
  76       '<a target="result" href="' + url + '">View metadata</a>'
  77      );
  78     </script>
  79   </li>
  80   <li>
  81     <script>
  82      url = proofcheckerURL + "proofCheck?uri=" + CICURI;
  83      document.write(
  84       '<a target="result" href="' + url + '">Proof check</a>'
  85      );
  86     </script>
  87   </li>
  88   <li>
  89     Analyse dependencies
  90     <ul class="control2">
  91       <li>
  92         <script>
  93           document.write('<a target="result" href="' + mkDirDepURL + '">direct</a>');
  94         </script>
  95       </li>
  96       <li>
  97         <script>
  98           document.write('<a target="result" href="' + mkInvDepURL + '">inverse</a>');
  99         </script>
 100       </li>
 101       <li>
 102         <script>
 103           document.write('<a target="result" href="' + mkRecDepURL + '">recursive direct</a> (graph)');
 104         </script>
 105       </li>
 106       <li>
 107         <script>
 108           document.write('<a target="result" href="' + mkInvRecDepURL + '">recursive inverse</a> (graph)');
 109         </script>
 110       </li>
 111     </ul>
 112   </li>
 113 </ul>
 114 <hr />
 115 <ul class="control">
 116   <li> Download
 117     <ul class="control2">
 118       <li>
 119         <script>
 120          document.write('<a href="' + CICURL + '" target="result">CIC XML</a>');
 121         </script>
 122           </li>
 123       <li>
 124         <script>
 125          document.write('<a href="' + MathMLContentURL + '" target="result">MathML Content</a>');
 126         </script>
 127       </li>
 128       <li>
 129         <script>
 130          document.write('<a href="' + MathMLPresentationURL + '" target="result">MathML Presentation</a>');
 131         </script>
 132       </li>
 133       <li>
 134         <script>
 135          document.write('<a href="' + HTMLURL + '" target="result">HTML</a>');
 136         </script>
 137       </li>
 138     </ul>
 139   </li>
 140   <li>
 141     Download metadata
 142     <ul class="control2">
 143       <li>
 144         <script>
 145           document.write('<a target="result" href="' + DirectRDFURL + '">direct dependencies</a>');
 146         </script>
 147       </li>
 148       <li>
 149         <script>
 150           document.write('<a target="result" href="' + InverseRDFURL + '">inverse dependencies</a>');
 151         </script>
 152       </li>
 153       <li>
 154         <script>
 155           document.write('<a target="result" href="' + DCRDFURL + '">Dublin Core</a>');
 156         </script>
 157       </li>
 158     </ul>
 159   </li>
 160 </ul>
 161 <hr />
 162 <div class="center">
 163   <a href="http://helm.cs.unibo.it">HELM home</a>
 164 </div>
 165 </body>
 166 </html>