<h1>Object:
"<script>document.write(extractParam(unescape(getParam('url')),'param.CICURI'))</script>"
<font size="+1">[Annotations are
- <script>if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'NO') document.write('off'); else document.write('on')</script>
+ <script>if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'no') document.write('off'); else document.write('on')</script>
]</font>
</h1>
<table>
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</a>'
+ '<a target="metadata" href="' + url + '">View its metadata and dependencies</a>'
);
</script>
</td>
- <td>(Work in progress. Coming soon.)</td>
+ <td>NEW!!!</td>
</tr>
<tr>
<td>
- Proof-check it
+ <script>
+ var url = unescape(getParam('url'));
+ var proofcheckerURL = unescape(extractParam(url,'param.proofcheckerURL'));
+ var CICURI = extractParam(url,'param.CICURI');
+ url = proofcheckerURL + "proofCheck?uri=" + CICURI;
+ document.write(
+ '<a target="proofChecker" href="' + url + '">Proof-check it</a>'
+ );
+ </script>
</td>
<td>
- (Not ported to V7, yet. Coming soon.)
+ (Not ported to V7, yet. Experimental. Coming soon.)
</td>
</tr>
</table>