X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=98bfebaf4a3bcaa6930f961d423d90fee0650953;hb=de7919bc2f1c068734c6760af0cb44c6d7022804;hp=6e8662db856cfa91ce440afd01d9f87c2376263a;hpb=97829180b4bc5a72291eeb8156b15b3922f07048;p=helm.git diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html index 6e8662db8..98bfebaf4 100644 --- a/helm/on-line/html/control.html +++ b/helm/on-line/html/control.html @@ -26,9 +26,9 @@ td.back { background-color: #e6e6fa; color: brown }
The on-line interface will use a -Getter to locate and +Getter to locate and download documents and an -UWOBO to apply transformations +UWOBO to apply transformations to them. @@ -40,9 +40,9 @@ to instances of them.

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

@@ -109,8 +109,114 @@ and + +
+ + + + + + + + + + +
Graph Drawer URL
+
+ +
+ 		+
+ +
+ 		+
+ +
+
+ +
+ + + + + + + + + + +
URI-Set 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? +     + + Ï +     + + ∉ +
+