From: Enrico Tassi Date: Sat, 24 Dec 2005 13:54:59 +0000 (+0000) Subject: fix X-Git-Tag: make_still_working~7912 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f571117161121e93de5258154aafd37e11900a32;p=helm.git fix --- 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 + +