]> matita.cs.unibo.it Git - helm.git/commitdiff
Example query fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 10 Mar 2008 10:23:40 +0000 (10:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 10 Mar 2008 10:23:40 +0000 (10:23 +0000)
helm/software/matita/scripts/public_html/bench.php

index 1009ace52dbc4a3a7b50b7e708a9aac77004b7b7..0b1186e4aea4c836adf5bc71bb9a896c00eaad1e 100644 (file)
@@ -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>