From c2882acb44d04ae096a3533ea714b8de9f9a661d Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 17 Mar 2006 10:01:15 +0000
Subject: [PATCH] go

---
 .../matita/scripts/public_html/showquery.php  | 21 +++++++++----------
 1 file changed, 10 insertions(+), 11 deletions(-)

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++;
 }
 
-- 
2.39.2