go

diff --git a/helm/software/matita/scripts/public_html/showquery.php b/helm/software/matita/scripts/public_html/showquery.php
index 007f37217daa968adc5444d4a26bfcc82b94e4f9..886cb3390cb1f5b5c2411be5802c810e6c4994c2 100644 (file)
--- 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++;
 }