X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=8e6aeaf1f7614b3f6b9f23aa490c642f7022e413;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=470f82322ea2025f243a3e5069b6295231da6ab4;hpb=12e10515abf4f7f2a863d7844972d67a9bbec92b;p=helm.git diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index 470f82322..8e6aeaf1f 100644 --- a/helm/on-line/html/cic/control.html +++ b/helm/on-line/html/cic/control.html @@ -1,81 +1,189 @@ - + + -??? - - - - + -

Object: - "" - [Annotations are - - ] -

- - - - - - - - - - - - - -

+ + + User: + + + [HELM home] + + + + + + + + + + + + + + + View + + + + -	- (Before following the link, you must install the HELM Annotation Helper) -
+ + -	NEW!!!
+ + -	- (Not ported to V7, yet. Experimental. Coming soon.) -

+ +

+ Analyse dependencies +

+ +

Download +
- + +
- + +
- + +
- + +
+
+ Download metadata +
- + +
- + +
- + +
+

Object: - "document.write(extractParam(unescape(getParam('url')),'param.CICURI'))" - [Annotations are - if ((extractParam(unescape(getParam('url')),'param.annotations')) == 'no') document.write('off'); else document.write('on') - ] -

Object: - "" - [Annotations are - - ] -