From: Enrico Tassi Date: Fri, 17 Mar 2006 10:01:15 +0000 (+0000) Subject: go X-Git-Tag: 0.4.95@7852~1594 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4ee27d158de49af15c1f21ad50474744720a537a;p=helm.git go --- diff --git a/matita/scripts/public_html/showquery.php b/matita/scripts/public_html/showquery.php index 007f37217..886cb3390 100644 --- a/matita/scripts/public_html/showquery.php +++ b/matita/scripts/public_html/showquery.php @@ -29,22 +29,21 @@ function prettify($s,$name) { function printer($q){ static $i = 0; + echo ""; if ( $i == 0) { - echo ""; foreach( $q as $name => $txt) { echo "$name"; - } - echo "\n"; - } else { - if ( $i%2 == 0) - echo ""; - else - echo ""; - foreach( $q as $name => $txt) { - echo "" . prettify($txt,$name) . ""; } - echo "\n"; } + echo "\n"; + if ( $i%2 == 0) + echo ""; + else + echo ""; + foreach( $q as $name => $txt) { + echo "" . prettify($txt,$name) . ""; + } + echo "\n"; $i++; }