X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Findex.html;h=3daf481d07ceafbf3863a9d3bcd11e87775ec75c;hb=ac44bd2f74e5fc606fb6833f949bb36ed4c2fd69;hp=7fa3b88ac81df863829d44e049421165ab0eb5d3;hpb=66cd2dbc1838b93c9d89511b4fed5848e2c6d65d;p=helm.git
diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index 7fa3b88ac..3daf481d0 100644
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -1,6 +1,7 @@
+