X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=8e6aeaf1f7614b3f6b9f23aa490c642f7022e413;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=3dc908db5d210504b82c10707f52fb713f193197;hpb=92c3ae6c6161188f89cf78ae1e714985eb985fce;p=helm.git
diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index 3dc908db5..8e6aeaf1f 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -12,16 +12,19 @@ td.back { background-color: #e6e6fa; color: brown }
ul.control { padding-left: 1em; list-style: none; }
ul.control2 { font-size: small; padding-left: 2em; }
div.center { text-align: center }
+h2.uri { margin-top: 0ex; margin-bottom: 0ex }
+
+
+
-
+
@@ -60,20 +80,24 @@ div.center { text-align: center }
-->
- View [
+ View
- ]
+
+
+