X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fuwobo-panel%2Fcontrol.html;h=d47e6f749d98a8a82a754389fcc530d38338486a;hb=c29e258ee426d0216b3fcf3e561ccf8fc206440d;hp=4cb183bdce6c3d7d2bf9e3327be3a388b49e21c7;hpb=a60ffe278a1511fb75b46fa62dbbe8c94da1bec1;p=helm.git
diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html
index 4cb183bdc..d47e6f749 100644
--- a/helm/uwobo-panel/control.html
+++ b/helm/uwobo-panel/control.html
@@ -283,7 +283,7 @@ The following are commands to list and edit the UWOBO profiles.
@@ -308,7 +308,7 @@ The following are commands to list and edit the UWOBO profiles.
@@ -333,7 +333,7 @@ The following are commands to list and edit the UWOBO profiles.
@@ -360,7 +360,7 @@ The following are commands to list and edit the UWOBO profiles.
@@ -424,16 +424,17 @@ the getter is used by default (you can deselect it, however):
-
+
+