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.
etc/build.props
changeset 78398 ea5adf7acc2d
parent 78316 be8aaaa4ac25
child 78415 a4dee214dfcf 
--- a/etc/build.props	Tue Jul 18 19:41:56 2023 +0200
+++ b/etc/build.props	Tue Jul 18 20:14:57 2023 +0200
@@ -189,6 +189,7 @@
   src/Pure/Thy/thy_header.scala \
   src/Pure/Thy/thy_syntax.scala \
   src/Pure/Tools/build.scala \
+  src/Pure/Tools/build_cluster.scala \
   src/Pure/Tools/build_job.scala \
   src/Pure/Tools/build_process.scala \
   src/Pure/Tools/check_keywords.scala \
isabelle