X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Ffolder%2Findex.html;h=428a3ed0c73dcf83f7f5590dcce87bab54a37448;hb=13fab17e3d3dee05df676985c065ae54a5766870;hp=4c50442bd0f170ebd7ccf567692380fdd689fbae;hpb=44f27c5113259badb27d6a773c0b86e933056203;p=helm.git
diff --git a/helm/on-line/html/folder/index.html b/helm/on-line/html/folder/index.html
index 4c50442bd..428a3ed0c 100644
--- a/helm/on-line/html/folder/index.html
+++ b/helm/on-line/html/folder/index.html
@@ -8,13 +8,14 @@
var processorURL = "";
var interfaceURL = "";
var profile = "";
- var CICURI = "";
+ var CICURI = "";
var annotations = "";
var url = "";
');
- document.write('');
document.write('');