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/afp.scala
changeset 67026 687c822ee5e3
parent 67025 961285f581e6
child 67052 caf87d4b9b61 
--- a/src/Pure/Admin/afp.scala	Tue Nov 07 16:44:25 2017 +0100
+++ b/src/Pure/Admin/afp.scala	Tue Nov 07 16:50:26 2017 +0100
@@ -36,7 +36,7 @@
   val sessions: List[String] = entries.flatMap(_.sessions)
 
   val sessions_structure: Sessions.T =
-    Sessions.load(options, dirs = List(main_dir)).
+    Sessions.load_structure(options, dirs = List(main_dir)).
       selection(Sessions.Selection(sessions = sessions.toList))
isabelle