From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 17 Mar 2006 10:01:15 +0000 (+0000)
Subject: go
X-Git-Tag: make_still_working~7496
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c2882acb44d04ae096a3533ea714b8de9f9a661d;p=helm.git

go
---

diff --git a/helm/software/matita/scripts/public_html/showquery.php b/helm/software/matita/scripts/public_html/showquery.php
index 007f37217..886cb3390 100644
--- a/helm/software/matita/scripts/public_html/showquery.php
+++ b/helm/software/matita/scripts/public_html/showquery.php
@@ -29,22 +29,21 @@ function prettify($s,$name) {
   
 function printer($q){
   static $i = 0;
+  echo "<tr>";
   if ( $i == 0) {
-      echo "<tr>";
       foreach( $q as $name => $txt) {
           echo "<th>$name</th>";
-        }
-      echo "</tr>\n";
-  } else {
-      if ( $i%2 == 0)
-        echo "<tr class=\"even\">";      
-      else
-        echo "<tr class=\"odd\">";
-      foreach( $q as $name => $txt) {
-        echo "<td>" . prettify($txt,$name) . "</td>";
       }
-      echo "</tr>\n";      
   }
+  echo "</tr>\n";
+  if ( $i%2 == 0)
+     echo "<tr class=\"even\">";      
+  else
+     echo "<tr class=\"odd\">";
+  foreach( $q as $name => $txt) {
+     echo "<td>" . prettify($txt,$name) . "</td>";
+  }
+  echo "</tr>\n";      
   $i++;
 }