From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 10 Mar 2008 10:23:40 +0000 (+0000)
Subject: Example query fixed.
X-Git-Tag: make_still_working~5547
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9aad60f67d550a2b6c8f9497b726bc2af3309360;p=helm.git

Example query fixed.
---

diff --git a/helm/software/matita/scripts/public_html/bench.php b/helm/software/matita/scripts/public_html/bench.php
index 1009ace52..0b1186e4a 100644
--- a/helm/software/matita/scripts/public_html/bench.php
+++ b/helm/software/matita/scripts/public_html/bench.php
@@ -415,7 +415,7 @@ where
   b1.compilation = b2.compilation and 
   b1.result = b2.result and 
   b1.mark = '<?php echo $before_last_mark ?>' and b2.mark= '<?php echo $last_mark ?>' and
-  ABS(b2.timeuser - b1.timeuser) &lt; 100
+  ABS(b2.timeuser - b1.timeuser) &gt; 100
 order by diff desc;
 </textarea>
 </td>