beauty\!

diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php
index dc57bab6daf0ca396dc6a2414040bdd413bedeb8..8ab204537537ce5e2cebfd8c6006c430cbb2262b 100644 (file)
--- a/helm/matita/scripts/public_html/bench.php
+++ b/helm/matita/scripts/public_html/bench.php
@@ -7,7 +7,7 @@
 //
 $limits = array("20","50","100");
   
-$quey_all = urlencode("Whole content:@@@select * from bench***");
+$quey_all = urlencode("Whole content:@@@select * from bench order by mark desc***");
 $query_fail = urlencode(
   "Number of failures@@@" .
   "select mark, count(distinct test) as fail_no from bench where result = 'fail' group by mark order by mark desc***"