From: Enrico Tassi 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 ""; 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++; }