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