X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fuwobo-panel%2Fcontrol.html;h=52855dd7a498120e305604e53599186df86f4704;hb=aa5fbd45fd757d44f9a0ea4d2c6b8b24d0dbee9a;hp=91c2e071423793ea09786570ccd4d219935fa857;hpb=11c7ad24a9a6beda01423b8c4be28dcb736d1e30;p=helm.git
diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html
index 91c2e0714..52855dd7a 100644
--- a/helm/uwobo-panel/control.html
+++ b/helm/uwobo-panel/control.html
@@ -97,7 +97,7 @@ The following is the URL used to contact the UWOBO servlet. Note that the servle
@@ -136,7 +136,7 @@ running UWOBO and not your machine.
@@ -169,7 +169,7 @@ The following are commands to do some simple queries about the UWOBO servlet.
-
+
@@ -177,7 +177,7 @@ The following are commands to do some simple queries about the UWOBO servlet.
-
+
@@ -219,10 +219,18 @@ the getter is used by default (you can deselect it, however):
+
+
+
+
+
+
+
+
@@ -307,7 +315,7 @@ care, and remember that the servlet can be shared among different users: