--- a/src/Pure/System/isabelle_system.scala Fri Dec 16 12:03:33 2011 +0100
+++ b/src/Pure/System/isabelle_system.scala Fri Dec 16 13:37:08 2011 +0100
@@ -297,7 +297,7 @@
for (file <- files if file.isFile) logics += file.getName
}
}
- logics.toList.sortWith(_ < _)
+ logics.toList.sorted
}