X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;fp=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=0000000000000000000000000000000000000000;hp=183347a9792c4f4b390a52bb0d6e1f55ed6196ea;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html deleted file mode 100644 index 183347a97..000000000 --- a/helm/on-line/html/control.html +++ /dev/null @@ -1,263 +0,0 @@ - - - -On-Line Library Configuration - - - - - - - - - - - - -
On-Line Library Configuration
- -
- -
-The on-line interface will use a -Getter to locate and -download documents and an -UWOBO to apply transformations -to them. - - -

- -Here you can choose the Getter and the UWOBO to use, providing valid URLs -to instances of them. - -

- -To control the behaviour of them, use the apposite -Getter panel -and -UWOBO panel. - -

- - - - - - - - - - -
UWOBO URL
-
- -
- 		-
- -
- 		-
- -
-
- -
- - - - - - - - - - -
Getter URL
-
- -
- 		-
- -
- 		-
- -
-
- -
- - - - - - - - - - -
URI-Set URL
-
- -
- 		-
- -
- 		-
- -
-
- -
- - - - - - - - - - -
Graph Drawer URL
-
- -
- 		-
- -
- 		-
- -
-
- -
- - - - - - - - - - -
Proof-Checker URL
-
- -
- 		-
- -
- 		-
- -
-
- -
- - - - - - - - - - - - - - -
Browser
- Only new browsers support UNICODE, that is needed to render - mathematical documents. Some old browsers, though, can render - the most common symbols through the "symbol" font. -
- To make us understand what kind of browser you have, please - select below the symbol for "not belongs to". If both options - do not show that symbol, then you will be only able to use - the MathML mode with an external plug-out for MathML presentation. -
-
- Where do you see the "not belongs to" symbol? -     - - Ï -     - - ∉ -
-
- - -
-

-
- - -