Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/classpath.scala
changeset 76527 63f9ffa1625f
parent 75906 2167b9e3157a
child 79659 a4118f530263 
--- a/src/Pure/System/classpath.scala	Thu Nov 24 14:22:43 2022 +0100
+++ b/src/Pure/System/classpath.scala	Fri Nov 25 10:49:46 2022 +0100
@@ -29,7 +29,8 @@
       } yield File.absolute(new JFile(s))
 
     val jar_files1 =
-      jar_files.flatMap(start => File.find_files(start, file => File.is_jar(file.getName)))
+      jar_files.flatMap(start =>
+          File.find_files(start, file => File.is_jar(file.getName)).sortBy(_.getName))
         .map(File.absolute)
 
     val tmp_jars =
isabelle