X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.html;fp=helm%2Fuwobo-panel%2Fcontrol.html;h=0000000000000000000000000000000000000000;hp=c60c44a2c08e111b013aa7f287b3ebe138e226a2;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8
diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html
deleted file mode 100644
index c60c44a2c..000000000
--- a/helm/uwobo-panel/control.html
+++ /dev/null
@@ -1,433 +0,0 @@
-
-
-
-UWOBO Control Panel
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-This is a control panel for the UWOBO servlet. You can control a local or remote UWOBO servlet 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:
-
-
-In case you want to customize the panel for your own needs, you can download the source archive
-(HTML + JavaScript):
-
-
-
-
- | Global Parameters |
- top |
-
-
-
-
-
-
-The following are global parameters used by all the other section to contact the UWOBO servlet and possibly a
-getter. The getter is not required for some operations and can be excluded by unchecking the proper buttons
-below.
-
-
-
-The following is the URL used to contact the UWOBO servlet. Note that the servlet is usually launched by
-
TOMCAT.
localhost is relative to your machine.
-
-
-
-
-
- | UWOBO URL |
-
-
- |
-
- |
-
-
- |
-
-
- |
-
-
-
-The following is the URL used to contact the getter. The getter is usually launched manually.
-In all cases except for the check button below,
-
localhost is relative to the host running UWOBO, because the getter URL is sent as
-a parameter along with UWOBO commands. In other words,
localhost is the host
-running UWOBO and not your machine.
-
-
-
-
-
- | Getter URL |
-
-
- |
-
- |
-
-
- |
-
-
- |
-
-
-
-
-
-
-The following are commands to do some simple queries about the UWOBO servlet.
-
-
-
-
-
- |
- Retrieve the version of the UWOBO servlet running at the UWOBO URL and list the syntax
- of the accepted commands.
- You can use this button to verify that a UWOBO servlet
- is actually running there:
- |
-
-
- |
-
-
- |
- Ask UWOBO for a list of the stylesheets currently compiled inside the servlet, along with their keys:
- |
-
-
- |
-
-
-
-
-
-
-
- | Stylesheet Management |
- top |
-
-
-
-
-
-
-
-In this section you can add, remove and reload stylesheet into the server. There are
-some frequently used stylesheets whose URIs and keys can be automatically filled in
-by selecting one of the options of the box below. Note that for such stylesheets
-the getter is used by default (you can deselect it, however):
-
-
-
-
-
- | Predefined Stylesheets |
-
-
- |
-
- |
-
-
- |
-
-
- |
-
-
-
-Here you have to identify a stylesheet by means of a relative or absolute URI. Usually
-you will specify a relative URI when using the getter to retrieve the stylesheet.
-Moreover, you can specify a key associated to this stylesheet, so that it will be easier to
-refer to it in subsequent operations. If escaping is enabled, then the stylesheet URI will
-be escaped. This might be particularly useful if the stylesheet is loaded by the getter.
-
-
-
-
-
- | Stylesheet |
- Key |
- Use Getter |
- Escape |
-
-
- |
-
- |
-
-
- |
-
-
- |
-
-
- |
-
-
- |
-
-
- |
-
-
- |
-
-
-
-Use the buttons below to remove or reload
all the stylesheets inside the servlet. Use these commands with
-care, and remember that the servlet can be shared among different users:
-
-
-
-
-
-
-
-
-You can use the "Apply" command to perform a transformation. Specify the URI of the source
-document in the form below. The URI can be relative or absolute (in the former case you
-will probably want to enable the use of the getter).
-If escaping is enabled, then special characters are escaped. This might be particularly useful
-if the source is loaded by the getter.
-
-
-
-
-
- | Source Document |
- Escape |
-
-
- |
-
- |
-
-
- |
-
-
-
-You can specify a sequence of zero or more parameters separated by blanks. Each
-parameter is made of a name immediately followed by
= and then a value.
-If "Escape" is checked, then parameters are escaped in the final
-URI.
-
-
-
-
-
- | Parameters (optional) |
- Escape |
-
-
- |
-
- |
-
-
- |
-
-
-
-In the key list specify a list of keys
-separated by blanks. This is the list of stylesheets to be applied in sequence to the
-source document.
-When ready, click on the button and have fun!
-
-
-
-
-
- | Key list |
- Use Getter |
-
-
- |
-
- |
-
-
- |
-
-
- |
-
-
-
-