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 #centered { text-align: center }
  13 h2      { text-align: center }
  14 li      { padding-bottom: 1ex }
  15 </style>
  16
  17 <script>
  18  var CICURI="<subst:CICURI/>";
  19  var annotations="<subst:annotations/>";
  20 </script>
  21 </head>
  22
  23 <body id="normal">
  24   <h2><subst:base_CICURI/></h2>
  25 <!--
  26   [Annotations are <script>if (annotations) == 'no') document.write('off'); else document.write('on')</script>]
  27 -->
  28 <ul>
  29 <!--
  30   <li>
  31     <script>
  32      var url = "<subst:url/>";
  33      document.write('<a href="' + url + '" target="_blank">Open object in new window</a>');
  34      </script>
  35   </li>
  36 -->
  37   <li>
  38     <script>
  39      var url = "<subst:url/>";
  40      document.write('<a href="' + url + '&amp;param.toplevel=true" target="result">Object</a>');
  41      </script>
  42   </li>
  43   <li>
  44     <script>
  45      var processorURL = "<subst:processorURL/>";
  46      var getterURL = "<subst:getterURL/>";
  47      var CICURI = "<subst:CICURI/>";
  48      var profile = "<subst:profile/>";
  49      var url = processorURL + "apply?keys=MC%2CRT&amp;xmluri=" +
  50          getterURL + "getxml%3Furi%3D" + CICURI +
  51          "&amp;prop.media-type=text/html&amp;prop.encoding=iso-8859-1" +
  52          "&amp;param.CICURI=" + CICURI + "&amp;param.profile=" + profile +
  53          "&amp;profile=" + profile;
  54      document.write(
  55       '<a target="result" href="' + url + '">Metadata and dependencies</a>'
  56      );
  57     </script>
  58   </li>
  59   <li>
  60     <script>
  61      var proofcheckerURL = "<subst:proofcheckerURL/>";
  62      var cicURI = "<subst:cicURI/>";
  63      url = proofcheckerURL + "proofCheck?uri=" + CICURI;
  64      document.write(
  65       '<a target="result" href="' + url + '">Proof-check it</a>'
  66      );
  67     </script>
  68   </li>
  69 </ul>
  70 </body>
  71 </html>