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/Tools/Setup/isabelle/setup/Setup.java
changeset 73985 eb7112f467a8
parent 73963 59b6f0462086
child 74029 0701ff55780d 
--- a/src/Tools/Setup/isabelle/setup/Setup.java	Thu Jul 15 12:51:11 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Setup.java	Thu Jul 15 15:50:32 2021 +0200
@@ -11,11 +11,11 @@
 {
     private static void echo(String msg)
     {
-        System.out.println(msg);
+        System.out.print(msg + "\n");
     }
     private static void echo_err(String msg)
     {
-        System.err.println(msg);
+        System.err.print(msg + "\n");
     }
     private static void fail(String msg)
     {
isabelle