X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=8e6aeaf1f7614b3f6b9f23aa490c642f7022e413;hb=353d488657a8c919140bcc4b6951296cc058e964;hp=c6afa7080da0c6ca8b9aa7742b9d79b41b3fb1ff;hpb=4c21a7b7a48ea3795a399a7183be53d2632dca26;p=helm.git diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index c6afa7080..8e6aeaf1f 100644 --- a/helm/on-line/html/cic/control.html +++ b/helm/on-line/html/cic/control.html @@ -1,94 +1,189 @@ - + +
-
+
+ +
+
+
+ + +
|
- - (Before following the link, you must install the HELM Annotation Helper) - | -
+
+ |
- DC Metadata and dependency metadata; Dependency graphs - | -
+
+ |
- Proof-checking is recursively performed over the untrusted parts of the - library - | -