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_job.scala
changeset 75440 39011d0d2128
parent 75438 96293bd077bb
child 75454 295e1c9d2994 
--- a/src/Pure/Tools/build_job.scala	Sat Apr 09 15:40:29 2022 +0200
+++ b/src/Pure/Tools/build_job.scala	Thu Apr 21 10:03:38 2022 +0200
@@ -321,7 +321,7 @@
               case _ => false
             }
 
-          override val functions =
+          override val functions: Session.Protocol_Functions =
             List(
               Markup.Build_Session_Finished.name -> build_session_finished,
               Markup.Loading_Theory.name -> loading_theory,
isabelle