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.
tuned;
authorwenzelm
Sun, 23 Apr 2017 18:12:42 +0200
changeset 65560 327842649e8d
parent 65559 7ff7781913a4
child 65561 741b1d3930c0
tuned;
src/Pure/Thy/sessions.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/sessions.scala	Sun Apr 23 17:23:38 2017 +0200
+++ b/src/Pure/Thy/sessions.scala	Sun Apr 23 18:12:42 2017 +0200
@@ -274,8 +274,7 @@
     val selected_sessions = full_sessions.selection(Selection(sessions = List(session)))._2
 
     if (all_known) {
-      val deps = Sessions.deps(
-        full_sessions, global_theories = global_theories, all_known = all_known)
+      val deps = Sessions.deps(full_sessions, global_theories = global_theories, all_known = true)
       deps(session).copy(known = deps.all_known)
     }
     else
isabelle