X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.ml;h=f9171068f2158d07ca7dcc1695ed7a638a57d5d6;hb=b6e1e47a8fdb45e9e47af9dfd047a0241ecf59c1;hp=cd600f0403c4c663d18e9ad330124c8e1db63b78;hpb=6857e22b8a58162893119f7747c5848031fd59ce;p=helm.git

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index cd600f040..f9171068f 100644
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -523,11 +523,13 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
     method private _loadDir dir = 
       let content = Http_getter.ls dir in
       let l =
-        List.map
-          (function 
-            | Http_getter_types.Ls_section s -> "dir", s
-            | Http_getter_types.Ls_object o -> "obj", o.Http_getter_types.uri)
-          content
+        List.fast_sort
+          Pervasives.compare
+          (List.map
+            (function 
+              | Http_getter_types.Ls_section s -> "dir", s
+              | Http_getter_types.Ls_object o -> "obj", o.Http_getter_types.uri)
+            content)
       in
       lastDir <- dir;
       self#_loadList l