From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 21 Mar 2006 14:01:53 +0000 (+0000)
Subject: go
X-Git-Tag: 0.4.95@7852~1582
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2d5f75066bf35e2ccfe73ea00708fc9d5e3c991b;p=helm.git

go
---

diff --git a/matita/scripts/public_html/bench.php b/matita/scripts/public_html/bench.php
index 84f27d6e2..57f2d40b5 100644
--- a/matita/scripts/public_html/bench.php
+++ b/matita/scripts/public_html/bench.php
@@ -171,8 +171,9 @@ function links_of($name,$q,$limits){
 <? query("describe bench","printer"); ?>
 </tr>
 <tr><td></td></tr>
-<tr><td>SQL (only one query, ';' if present must terminate the query, no characters allowed after it):</td></tr>
-<tr><td>
+<tr><td colspan="7">
+SQL (only one query, ';' if present must terminate the query, no characters allowed after it):</td></tr>
+<tr><td colspan="7">
 <textarea rows="10" cols="120" name="query"/>
 select 
   b1.test as test, b1.timeuser as oldtime, b2.timeuser as newtime, b1.compilation as comp, b1.options as opts