X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Ftheory%2Fcontrol.html;h=ffc2e82d224fc9e0b5b9591d206161b105546d03;hb=92c3ae6c6161188f89cf78ae1e714985eb985fce;hp=637c563da4f4f832a78d140152931379d3d16ac2;hpb=b866f5326c88e5881b5b7ce5354ff35abbd79549;p=helm.git
diff --git a/helm/on-line/html/theory/control.html b/helm/on-line/html/theory/control.html
index 637c563da..ffc2e82d2 100644
--- a/helm/on-line/html/theory/control.html
+++ b/helm/on-line/html/theory/control.html
@@ -17,17 +17,25 @@ div.center { text-align: center }
+
-
+
+