X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=08840663cd5f361996b61e7b6aa568ce1ab3fc53;hb=4020414d9bc31b545e311760045d4ce8f0645916;hp=791a8b28a14edabccd73634966cf40b83be80097;hpb=d1132a3652b678eeece55c9163f21091ec42ae84;p=helm.git
diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
index 791a8b28a..08840663c 100644
--- a/helm/on-line/html/control.html
+++ b/helm/on-line/html/control.html
@@ -112,6 +112,72 @@ and
+
+
+ Graph Drawer URL |
+
+
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+
+
+
+ URI-Set URL |
+
+
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+