Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Mon, 16 Mar 2015 17:47:46 +0100
changeset 59724 5ec903bf0eae
parent 59722 c1e19e6ae980 (current diff)
parent 59723 193f12622072 (diff)
child 59725 e5dc7e7744f0
merged
--- a/src/Pure/Tools/build.scala	Mon Mar 16 17:02:00 2015 +0100
+++ b/src/Pure/Tools/build.scala	Mon Mar 16 17:47:46 2015 +0100
@@ -744,7 +744,7 @@
   {
     /* session tree and dependencies */
 
-    val full_tree = find_sessions(options, dirs, select_dirs)
+    val full_tree = find_sessions(options.int("completion_limit") = 0, dirs, select_dirs)
     val (selected, selected_tree) =
       full_tree.selection(requirements, all_sessions, session_groups, sessions)
isabelle