X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=183347a9792c4f4b390a52bb0d6e1f55ed6196ea;hb=5b08f1c5c65ca3c2929a7800742e10308cc0dd8a;hp=98bfebaf4a3bcaa6930f961d423d90fee0650953;hpb=de7919bc2f1c068734c6760af0cb44c6d7022804;p=helm.git
diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
index 98bfebaf4..183347a97 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 .
@@ -63,6 +63,7 @@ and
---
localhost
+ mowgli
marcello
phd
eolo
@@ -96,6 +97,7 @@ and
---
localhost
+ mowgli
marcello
phd
eolo
@@ -112,6 +114,40 @@ and
+
+
+ URI-Set URL
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Graph Drawer URL
@@ -129,6 +165,7 @@ and
---
localhost
+ mowgli
marcello
phd
eolo
@@ -147,21 +184,22 @@ and
- URI-Set URL
+ Proof-Checker URL
-