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_doc.scala
changeset 62635 4854a38061de
parent 62631 c39614ddb80b
child 62641 0b1b7465f2ef 
--- a/src/Pure/Tools/build_doc.scala	Wed Mar 16 11:45:25 2016 +0100
+++ b/src/Pure/Tools/build_doc.scala	Wed Mar 16 13:47:00 2016 +0100
@@ -24,7 +24,7 @@
   {
     val selection =
       for {
-        (name, info) <- Sessions.find(options).topological_order
+        (name, info) <- Sessions.load(options).topological_order
         if info.groups.contains("doc")
         doc = info.options.string("document_variants")
         if all_docs || docs.contains(doc)
isabelle