sorted cicBrowser's listings

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index cd600f0403c4c663d18e9ad330124c8e1db63b78..f9171068f2158d07ca7dcc1695ed7a638a57d5d6 100644 (file)
--- 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