X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=c6afa7080da0c6ca8b9aa7742b9d79b41b3fb1ff;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=29a222faa8a4d98125cfa4ee7be6ec12c50ebfdb;hpb=40aaf8dcb5f4251186d6b4380ded7cf50ffd5345;p=helm.git diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index 29a222faa..c6afa7080 100644 --- a/helm/on-line/html/cic/control.html +++ b/helm/on-line/html/cic/control.html @@ -21,10 +21,21 @@ td.back { background-color: #e6e6fa; color: brown }

Object: ""    [Annotations are - + ]

+ + + + - + -
+ + + Follow the link to view the displayed object alone (without this control frame) +
(Work in progress. Coming soon.)DC Metadata and dependency metadata; Dependency graphs +
- Proof-check it + - (Not ported to V7, yet. Coming soon.) + Proof-checking is recursively performed over the untrusted parts of the + library