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 whitespace;
authorwenzelm
Tue, 03 Jan 2023 20:46:56 +0100
changeset 76889 98993083e4ac
parent 76888 1c3bf6e5f73f
child 76890 d924a69e7d2b
tuned whitespace;
src/Pure/PIDE/resources.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/resources.scala	Tue Jan 03 20:34:51 2023 +0100
+++ b/src/Pure/PIDE/resources.scala	Tue Jan 03 20:46:56 2023 +0100
@@ -196,7 +196,7 @@
       try { Some(context_name.master_dir_path) }
       catch { case ERROR(_) => None }
     (for {
-      (session, (info, _))  <- sessions_structure.imports_graph.iterator
+      (session, (info, _)) <- sessions_structure.imports_graph.iterator
       dir <- (if (session == context_session) context_dir.toList else info.dirs).iterator
       theory <- Thy_Header.list_thy_names(dir).iterator
       if Completion.completed(s)(theory)
isabelle