src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Mon Mar 29 22:43:56 2010 +0200
+++ b/src/Pure/System/isabelle_system.scala	Mon Mar 29 22:55:57 2010 +0200
@@ -288,7 +288,7 @@
         for (file <- files if file.isFile) logics += file.getName
       }
     }
-    logics.toList.sort(_ < _)
+    logics.toList.sortWith(_ < _)
   }