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.
proper result;
authorwenzelm
Sun, 16 Oct 2016 20:08:23 +0200
changeset 64263 d389a83b8d55
parent 64262 41e027ab985c
child 64264 42138702d6ec
proper result;
src/Pure/Admin/build_history.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_history.scala	Sun Oct 16 19:18:54 2016 +0200
+++ b/src/Pure/Admin/build_history.scala	Sun Oct 16 20:08:23 2016 +0200
@@ -242,7 +242,7 @@
 
       first_build = false
 
-      (res, log_path)
+      (res, log_path.ext("xz"))
     }
   }
isabelle