X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Flibrary%2Fcontrol.html;fp=helm%2Fon-line%2Fhtml%2Flibrary%2Fcontrol.html;h=8450f3244bbd2c68f0c16d462b7bcbdfc3780640;hb=d70d5de1ec9ccc86c9df45036245af34c37575ea;hp=0000000000000000000000000000000000000000;hpb=99d60351f793983bb7633334ea59e95feb36c72c;p=helm.git diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html new file mode 100644 index 000000000..8450f3244 --- /dev/null +++ b/helm/on-line/html/library/control.html @@ -0,0 +1,91 @@ + + + +Control panel + + + + + +
+ + + + + + + + + + + +
+ Format: + + + + + + +
+ (do it also before attempting to take a link to the current page) + +
+ + + +
+
+
+ +