# HG changeset patch
# User wenzelm
# Date 1698227560 -7200
# Node ID 893049a842b5f6fc9ae54de52d8239413e8005e3
# Parent  09b5113e5c9d244e7ec1d13ae1927cf112ef9bd9
removed junk;

diff -r 09b5113e5c9d -r 893049a842b5 src/Pure/Admin/component_minisat.scala
--- a/src/Pure/Admin/component_minisat.scala	Fri Oct 20 12:26:56 2023 +0200
+++ b/src/Pure/Admin/component_minisat.scala	Wed Oct 25 11:52:40 2023 +0200
@@ -99,7 +99,7 @@
 
       File.write(component_dir.README,
         "This Isabelle component provides Minisat " + version + """ using the
-sources from """.stripMargin + download_url + """
+sources from """ + download_url + """
 
 The executables have been built via "make r"; macOS requires to
 remove options "--static" and "-Wl,-soname,..." from the Makefile.
diff -r 09b5113e5c9d -r 893049a842b5 src/Pure/Admin/component_vampire.scala
--- a/src/Pure/Admin/component_vampire.scala	Fri Oct 20 12:26:56 2023 +0200
+++ b/src/Pure/Admin/component_vampire.scala	Wed Oct 25 11:52:40 2023 +0200
@@ -113,7 +113,7 @@
 
       File.write(component_dir.README,
         "This Isabelle component provides Vampire " + version + """using the
-original sources from """.stripMargin + download_url + """
+original sources from """ + download_url + """
 
 The executables have been built via "cmake . && make"