Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature, e.g. for Isabelle/DOF;
authorwenzelm
Mon, 24 Oct 2022 20:24:34 +0200
changeset 76370 9bd948666e8a
parent 76369 b879d2280a7f
child 76371 1ac2416e8432
tuned signature, e.g. for Isabelle/DOF;
src/Pure/Thy/document_build.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/document_build.scala	Mon Oct 24 15:24:04 2022 +0200
+++ b/src/Pure/Thy/document_build.scala	Mon Oct 24 20:24:34 2022 +0200
@@ -124,7 +124,7 @@
   ): Context = new Context(session_context, document_session, progress)
 
   final class Context private[Document_Build](
-    session_context: Export.Session_Context,
+    val session_context: Export.Session_Context,
     document_session: Option[Sessions.Base],
     val progress: Progress = new Progress
   ) {
isabelle