From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 24 Dec 2005 14:44:04 +0000 (+0000)
Subject: beauty\!
X-Git-Tag: make_still_working~7907
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0d92c6f830c19cd7576b3cf9ed8f95d7b83a444d;p=helm.git

beauty\!
---

diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php
index dc57bab6d..8ab204537 100644
--- 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***"