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/Tools/build.scala
changeset 66717 67dbf5cdc056
parent 66712 4c98c929a12a
child 66736 148891036469 
--- a/src/Pure/Tools/build.scala	Fri Sep 29 17:41:39 2017 +0200
+++ b/src/Pure/Tools/build.scala	Fri Sep 29 20:49:42 2017 +0200
@@ -215,7 +215,7 @@
                 (store.browser_info, (info.document_files, (File.standard_path(graph_file),
                 (parent, (info.chapter, (name, (Path.current,
                 (info.theories,
-                (base.global_theories.toList, (base.loaded_theories.toList,
+                (base.global_theories.toList, (base.loaded_theories.keys,
                 base.dest_known_theories)))))))))))))))
             })
isabelle