]> matita.cs.unibo.it Git - helm.git/commitdiff
go
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 21 Mar 2006 14:01:53 +0000 (14:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 21 Mar 2006 14:01:53 +0000 (14:01 +0000)
matita/scripts/public_html/bench.php

index 84f27d6e2a6efbac8c4d5855f137fbee11e7f4d1..57f2d40b52dcb90c594f865424144887918fc05a 100644 (file)
@@ -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