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/check_source.scala
changeset 56830 e760242101fc
parent 56829 f151ade98b15
child 60988 1d7a7e33fd67 
--- a/src/Pure/Tools/check_source.scala	Fri May 02 19:30:34 2014 +0200
+++ b/src/Pure/Tools/check_source.scala	Fri May 02 19:51:40 2014 +0200
@@ -40,7 +40,7 @@
 
   def check_hg(root: Path)
   {
-    System.err.println("Checking " + root + " ...")
+    Output.writeln("Checking " + root + " ...")
     Isabelle_System.hg("--repository " + Isabelle_System.shell_path(root) + " root").check_error
     for {
       file <- Isabelle_System.hg("manifest", root).check_error.out_lines
isabelle