X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=470f82322ea2025f243a3e5069b6295231da6ab4;hb=3e4cd0c8f1cd759faa56060770e1686009e9a552;hp=288015dace02eab1d6f3d8862e2a993385766bdb;hpb=3924d3a11a488176c28af5e82ee3810d9a6350ed;p=helm.git diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html index 288015dac..470f82322 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 }
- View its metadata + | -(Not implemented, yet. Coming soon.) | +NEW!!! |
- Proof-check it + | - (Not ported to V7, yet. Coming soon.) + (Not ported to V7, yet. Experimental. Coming soon.) |