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
Sun, 12 Aug 2018 14:31:46 +0200
changeset 68744 64fb127e33f7
parent 68743 91162dd89571 (diff)
parent 68742 a6cc4302c380 (current diff)
child 68745 345ce5f262ea
child 68746 f95e2f145ea5
merged
src/Pure/Tools/dump.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/dump.scala	Sat Aug 11 17:33:00 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Sun Aug 12 14:31:46 2018 +0200
@@ -94,7 +94,7 @@
     selection: Sessions.Selection = Sessions.Selection.empty): Process_Result =
   {
     if (Build.build_logic(options, logic, build_heap = true, progress = progress,
-      dirs = dirs, system_mode = system_mode) != 0) error(logic + " FAILED")
+      dirs = dirs ::: select_dirs, system_mode = system_mode) != 0) error(logic + " FAILED")
 
     val dump_options = make_options(options, aspects)
 
@@ -116,7 +116,7 @@
     /* session */
 
     val session =
-      Thy_Resources.start_session(dump_options, logic, session_dirs = dirs,
+      Thy_Resources.start_session(dump_options, logic, session_dirs = dirs ::: select_dirs,
         include_sessions = include_sessions, progress = progress, log = log)
 
     val theories_result = session.use_theories(use_theories, progress = progress)
isabelle