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 67026 687c822ee5e3
parent 67023 e27e05d6f2a7
child 69277 258bef08b31e 
--- a/src/Pure/Admin/build_doc.scala	Tue Nov 07 16:44:25 2017 +0100
+++ b/src/Pure/Admin/build_doc.scala	Tue Nov 07 16:50:26 2017 +0100
@@ -22,7 +22,7 @@
     system_mode: Boolean = false,
     docs: List[String] = Nil): Int =
   {
-    val sessions_structure = Sessions.load(options)
+    val sessions_structure = Sessions.load_structure(options)
     val selection =
       for {
         name <- sessions_structure.build_topological_order
isabelle