]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/cic/control.html
Version 1.2.1beta => 1.2.1
[helm.git] / helm / on-line / html / cic / control.html
index 288015dace02eab1d6f3d8862e2a993385766bdb..7a69e1a0e46f11ba6797e364cd77bb94cb249613 100644 (file)
@@ -33,6 +33,7 @@ td.back { background-color: #e6e6fa; color: brown }
      url = setParam(url,"prop.doctype-public","");
      url = setParam(url,"prop.encoding","");
      url = setParam(url,"prop.media-type","application/x-helm-annotation-helper");
+     url = url + "&param.explodeall=true";
      document.write(
       '<a target="result" href="' + url + '">Annotate it</a>'
      )
@@ -44,9 +45,20 @@ td.back { background-color: #e6e6fa; color: brown }
   </tr>
   <tr>
    <td>
-    View its metadata
+    <script>
+     var url = unescape(getParam('url'));
+     var getterURL = extractParam(url,'param.getterURL');
+     var CICURI = extractParam(url,'param.CICURI');
+     url = setParam(url,"keys","MC%2CRT");
+     url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + CICURI);
+     url = setParam(url,"prop.media-type","text/html");
+     url = setParam(url,"prop.encoding","iso-8859-1");
+     document.write(
+      '<a target="metadata" href="' + url + '">View its metadata and dependencies</a>'
+     );
+    </script>
    </td>
-   <td>(Not implemented, yet. Coming soon.)</td>
+   <td>NEW!!!</td>
   </tr>
   <tr>
    <td>