X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=c6afa7080da0c6ca8b9aa7742b9d79b41b3fb1ff;hb=a73d3f9cd6bda37cfb538e9fdf66f905a01d8e37;hp=377aa7db024103c5064070ba0802c7c5bcaf3e8e;hpb=f6cd1be6111f40c2a4226ca87d737c4bfb3a321c;p=helm.git diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index 377aa7db0..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 }
+ + | ++ 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 |