# HG changeset patch
# User wenzelm
# Date 1626346271 -7200
# Node ID c606a8ff5cccea527d7d2081b395be5703b8441f
# Parent  e2913fc81142b3f35dfec86fda5d643e9a13066c
proper lines (amending 59b6f0462086);

diff -r e2913fc81142 -r c606a8ff5ccc src/Tools/Setup/isabelle/setup/Library.java
--- a/src/Tools/Setup/isabelle/setup/Library.java	Wed Jul 14 11:37:35 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Library.java	Thu Jul 15 12:51:11 2021 +0200
@@ -37,6 +37,7 @@
             for (String s : split_lines(str)) {
                 result.append(prfx);
                 result.append(s);
+                result.append('\n');
             }
             return result.toString();
         }