X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=470f82322ea2025f243a3e5069b6295231da6ab4;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=626db75801a46594439f6e9ba79b125d152e130b;hpb=bf5c41c682dfa66f4f44b78c6f7de558e2364233;p=helm.git diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index 626db7580..470f82322 100644 --- a/helm/on-line/html/cic/control.html +++ b/helm/on-line/html/cic/control.html @@ -21,7 +21,7 @@ td.back { background-color: #e6e6fa; color: brown }

Object: ""    [Annotations are - + ]

@@ -49,32 +49,31 @@ td.back { background-color: #e6e6fa; color: brown } var url = unescape(getParam('url')); var getterURL = extractParam(url,'param.getterURL'); var CICURI = extractParam(url,'param.CICURI'); - var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//" + CICURI; - if (CICURI.substr(-4,4) == ".ind") { - url = setParam(url,"keys","DM%2CRT"); - url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + CICURI); - } else { - url = setParam(url,"keys","MC%2CRT"); - url = setParam(url,"xmluri", getterURL + "resolve%3Furi%3D" + RDFURI); - } + 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"); - url = - url + - "¶m.RDFURI=" + RDFURI ; document.write( - 'View its metadata' + 'View its metadata and dependencies' ); - +
(Work in progress. Coming soon.)NEW!!!
- Proof-check it + - (Not ported to V7, yet. Coming soon.) + (Not ported to V7, yet. Experimental. Coming soon.)