X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=08840663cd5f361996b61e7b6aa568ce1ab3fc53;hb=947d5199775402a60ae71e73ffa2ad59221d19b2;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..08840663c 100644
--- a/helm/on-line/html/control.html
+++ b/helm/on-line/html/control.html
@@ -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.
+ |
+
+
+
+ |
+
+
+