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/PIDE/batch_session.scala
changeset 59891 9ce697050455
parent 59720 f893472fff31
child 59892 2a616319c171 
--- a/src/Pure/PIDE/batch_session.scala	Wed Apr 01 13:32:32 2015 +0200
+++ b/src/Pure/PIDE/batch_session.scala	Wed Apr 01 15:41:08 2015 +0200
@@ -29,7 +29,7 @@
         dirs = dirs, sessions = List(parent_session)) != 0)
       new RuntimeException
 
-    val deps = Build.dependencies(Build.Ignore_Progress, false, verbose, false, session_tree)
+    val deps = Build.dependencies(verbose = verbose, tree = session_tree)
     val resources =
     {
       val content = deps(parent_session)
isabelle