From: Claudio Sacerdoti Coen Date: Tue, 18 Mar 2003 16:45:59 +0000 (+0000) Subject: The reload method requires now the "keys" parameter (that may be empty). X-Git-Tag: before_refactoring~106 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d59e63c50edaf0823b1d03ebf7fc259719b29a4f;p=helm.git The reload method requires now the "keys" parameter (that may be empty). --- diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html index c60c44a2c..96eed8765 100644 --- a/helm/uwobo-panel/control.html +++ b/helm/uwobo-panel/control.html @@ -92,6 +92,7 @@ The following is the URL used to contact the UWOBO servlet. Note that the servle + @@ -315,7 +316,7 @@ care, and remember that the servlet can be shared among different users:
- +