--- 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(_ < _)
}