X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fpublic_html%2Findex.html;h=12fd7be9fac0e52c73ae44eebe3300052b8badcb;hb=7562b71d0a7c232cd84018ed7e3d0e81a621d690;hp=e08234d20259c8a97306861909b722611abb5c1c;hpb=663f8e1c82196b9e3f817bf059edcfcfe22993c3;p=helm.git
diff --git a/helm/matita/scripts/public_html/index.html b/helm/matita/scripts/public_html/index.html
index e08234d20..12fd7be9f 100644
--- a/helm/matita/scripts/public_html/index.html
+++ b/helm/matita/scripts/public_html/index.html
@@ -6,6 +6,10 @@
MATITA BENCHMARKING SYSTEM
- Go to the benchmark query page
+
+
+ Go to the benchmark query page
+
+