X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.html;h=5345fa33466762b593164b36fe785ecd2c0e2293;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=52855dd7a498120e305604e53599186df86f4704;hpb=f7bcfbccab33854b334c9d1ca2da9b629d2e9621;p=helm.git diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html index 52855dd7a..5345fa334 100644 --- a/helm/uwobo-panel/control.html +++ b/helm/uwobo-panel/control.html @@ -24,19 +24,18 @@ td.back { background-color: #e6e6fa; color: brown }
-This is a control panel for the UWOBO servlet. You can control a local or remote UWOBO servlet by filling +This is a control panel for the UWOBO Web-Service. You can control a local or remote UWOBO service by filling the appropriate fields below and sending the desired commands. In most cases, results of commands, such as error messages or documents, will be opened in the frame at the bottom of this page. For those commands sending multiple requests to the UWOBO server, a new window will be opened for each request issued. Note that in order to use this page you must have JavaScript enabled. -If you have troubles, please send an email to the author: -luca.padovani@cs.unibo.it

The sections: