X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Findex.html;h=ff3b7ba2077ce31c479dc0c0e23f4211707d1202;hb=a864255e782859e2b3b7da08297f5d3fe2ee710d;hp=3cf555534cbafa92b128beb55e94d536ede91b5a;hpb=d8b76c102e4f540c3ecfa550267331a7a72810c2;p=helm.git
diff --git a/helm/on-line/html/cic/index.html b/helm/on-line/html/cic/index.html
index 3cf555534..ff3b7ba20 100644
--- a/helm/on-line/html/cic/index.html
+++ b/helm/on-line/html/cic/index.html
@@ -13,9 +13,10 @@
var url = "";
');
- document.write('');
document.write('');
document.write('');