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/Admin/component_minisat.scala
changeset 78823 893049a842b5
parent 77566 2a99fcb283ee
child 80004 31ebb6be32b0 
--- 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.
isabelle