X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=dba30d5aa869ee570e215360ddc03c6157408c68;hb=ec899ba2461af8c3f0ef253a8879fc1882b8b46f;hp=1aec1c225e2ec774ea7edeccff7dab32acc80429;hpb=9a565a94263aba61fbdeb32858761f57cd128edf;p=helm.git
diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index 1aec1c225..dba30d5aa 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
-
+
]
@@ -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 + "¶m.explodeall=true";
document.write(
'Annotate it'
)
@@ -48,32 +49,30 @@ 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.)
|