--- 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.
--- 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"