]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 466a377)
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 24 Dec 2005 13:54:59 +0000 (13:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 24 Dec 2005 13:54:59 +0000 (13:54 +0000)
helm/matita/scripts/public_html/index.html patch | blob | history

diff --git a/helm/matita/scripts/public_html/index.html b/helm/matita/scripts/public_html/index.html
index e08234d20259c8a97306861909b722611abb5c1c..12fd7be9fac0e52c73ae44eebe3300052b8badcb 100644 (file)
--- a/helm/matita/scripts/public_html/index.html
+++ b/helm/matita/scripts/public_html/index.html
@@ -6,6 +6,10 @@
   </head>
   <body>
     <h1>MATITA BENCHMARKING SYSTEM</h1>
-    <p><a href="bench.php">Go to the benchmark query page</a></p>
+    <p> 
+    <center> <!-- Yes, It sucks! :P -->
+      <a href="bench.php">Go to the benchmark query page</a>
+    </center>
+    </p>
   </body>
 </html>
Unnamed repository; edit this file 'description' to name the repository.