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;
authorFabian Huch <huch@in.tum.de>
Tue, 25 Jun 2024 17:57:08 +0200
changeset 80409 20a28953fb57
parent 80408 e6d3d1db6136
child 80410 906a7684fdce
tuned;
src/Pure/Build/build_manager.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Build/build_manager.scala	Tue Jun 25 17:56:49 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Tue Jun 25 17:57:08 2024 +0200
@@ -752,8 +752,7 @@
 
             store.sync_permissions(context.task_dir)
 
-            val isabelle_rev =
-              sync(isabelle_repository, task.isabelle_rev, context.task_dir)
+            val isabelle_rev = sync(isabelle_repository, task.isabelle_rev, context.task_dir)
 
             val hostnames = task.build_hosts.map(_.hostname).distinct
isabelle