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.
removed junk (cf. fa933b98d64d);
authorwenzelm
Wed, 07 Aug 2019 11:09:37 +0200
changeset 70481 d9ba9563b139
parent 70480 1a1b7d7f24bb
child 70482 d4b5139eea34
removed junk (cf. fa933b98d64d);
src/Pure/Tools/build.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build.scala	Wed Aug 07 10:52:19 2019 +0200
+++ b/src/Pure/Tools/build.scala	Wed Aug 07 11:09:37 2019 +0200
@@ -289,7 +289,6 @@
             }
 
           process.result(
-            progress_stderr = Output.writeln(_),
             progress_stdout = (line: String) =>
               Library.try_unprefix("\floading_theory = ", line) match {
                 case Some(theory) =>
isabelle