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/Admin/build_doc.scala
changeset 65420 695d4e22345a
parent 65082 2e99c0ee3bac
child 65519 d244d8f8e13f 
--- a/src/Pure/Admin/build_doc.scala	Fri Apr 07 10:47:25 2017 +0200
+++ b/src/Pure/Admin/build_doc.scala	Fri Apr 07 11:50:49 2017 +0200
@@ -24,7 +24,7 @@
   {
     val selection =
       for {
-        (name, info) <- Sessions.load(options).topological_order
+        (name, info) <- Sessions.load(options).build_topological_order
         if info.groups.contains("doc")
         doc = info.options.string("document_variants")
         if all_docs || docs.contains(doc)
isabelle